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

Add mmhelloworld's JVM backend

Kamiλ Shakirov 2021-02-26 17:21:19 +06:00
parent 1adb221d02
commit 1bc37b906d
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

@ -7,5 +7,6 @@ There are a number of backends that aren't part of the main Idris2 repository
- [Chrrasmussen Erlang](https://github.com/chrrasmussen/Idris2-Erlang)
- [Russoul Lua](https://github.com/Russoul/Idris2-Lua)
- [(Unfinished) Z-snails GRIN](https://github.com/Z-snails/Idris2-Grin)
- [(Unfinished) mmhelloworld JVM](https://github.com/mmhelloworld/Idris2-boot)
(Backend authors please add your own)