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)

Andor Penzes 2021-03-23 20:57:56 +01:00
parent 7ae6e76c7d
commit 5aefae0714
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
External-backends.md

@ -9,5 +9,6 @@ There are a number of backends that aren't part of the main Idris2 repository
- [(Unfinished) Z-snails GRIN](https://github.com/Z-snails/Idris2-Grin)
- [(Unfinished) mmhelloworld JVM](https://github.com/mmhelloworld/Idris2-boot)
- [(Unfinished) cypheon LLVM](https://git.sr.ht/~cypheon/rapid)
- [(Pre-alpha) Ext-STG backend](https://github.com/andorp/IdrisExtSTGCodegen)
(Backend authors please add your own)