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)

Jan Troler 2022-12-29 23:13:05 +01:00
parent f03d6f8754
commit 5a2241c106
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
External-backends.md

@ -8,4 +8,5 @@ This page lists a number of unofficial backends maintained by the community. Fee
- [LLVM (unfinished)](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
- [OCaml](https://github.com/karroffel/Idris2-Ocaml) - Karroffel
- [Python](https://github.com/galtys/idris2-python-pure) - Jan Troler