idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 12:32:00 +03:00
Code Issues Projects Releases Wiki Activity

Updated External backends (markdown)

Johann Rudloff 2024-04-17 23:51:09 +02:00
parent 484dc2998a
commit b8c228c950
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
External-backends.md

@ -6,7 +6,7 @@ This page lists a number of unofficial backends maintained by the community. Fee
- [Go](https://github.com/kbertalan/idris2-go) - Bertalan Kis
- [GRIN (unfinished)](https://github.com/Z-snails/Idris2-Grin) - Zoe Stafford
- [JVM](https://github.com/mmhelloworld/idris-jvm) - Marimuthu Madasamy
- [LLVM (unfinished)](https://git.sr.ht/~cypheon/rapid) - Johann Rudloff
- [LLVM](https://git.sr.ht/~cypheon/rapid) - Johann Rudloff
- [Lua](https://github.com/Russoul/Idris2-Lua) - Ruslan
- [Malfunction](https://github.com/ziman/idris2-mlf) - Matúš Tejiščák
- [OCaml](https://github.com/karroffel/Idris2-Ocaml) - Karroffel