From b8c228c950fc9a1737283d79d93d729e0d55e65b Mon Sep 17 00:00:00 2001 From: Johann Rudloff Date: Wed, 17 Apr 2024 23:51:09 +0200 Subject: [PATCH] Updated External backends (markdown) --- External-backends.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/External-backends.md b/External-backends.md index 0b625d2..288d15c 100644 --- a/External-backends.md +++ b/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