Update readme for idris2

the-nix-way · Dec 12, 2024 · 89e8820 · 89e8820
1 parent 3a58e13
commit 89e8820
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -43,6 +43,7 @@ Once your preferred template has been initialized, you can use the provided shel
 | [Hashicorp] tools                | [`hashi`](./hashi/)                   |
 | [Haskell]                        | [`haskell`](./haskell/)               |
 | [Haxe]                           | [`haxe`](./haxe/)                     |
+| [Idris2]                           | [`idris2`](./idris2/)                     |
 | [Java]                           | [`java`](./java/)                     |
 | [Jupyter]                        | [`jupyter`](./jupyter/)               |
 | [Kotlin]                         | [`kotlin`](./kotlin/)                 |
@@ -168,6 +169,12 @@ A dev template that's fully customizable.
 
 - [Haxe] 4.2.5
 
+### [`idris2`](./java/)
+
+- [Idris2] 0.7.0
+- [idris2-lsp] 
+- [pack] 
+
 ### [`java`](./java/)
 
 - [Java] 20.0.1+9