idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 04:13:09 +03:00
Code Issues Projects Releases Wiki Activity
External backends
Johann Rudloff edited this page 2024-04-17 23:51:09 +02:00

Wiki Page Revisions

15 Commits

Author SHA1 Message Date
Johann Rudloff
b8c228c950 Updated External backends (markdown) 2024-04-17 23:51:09 +02:00
Alex1005a
29c994004a Updated External backends (markdown) 2023-08-20 18:33:36 +03:00
kbertalan
0b66da72b5 Add Go backend 2023-03-26 20:15:41 +02:00
Jan Troler
5a2241c106 Updated External backends (markdown) 2022-12-29 23:13:05 +01:00
Andor Penzes
fed8c6bcbe Updated External backends (markdown) 2022-11-18 02:25:38 +00:00
Andor Penzes
c1c876ee11 Updated External backends (markdown) 2022-11-18 02:25:23 +00:00
Joel Berkeley
97a40cebb8 Updated External backends (markdown) 2022-09-22 18:51:53 +01:00
Joel Berkeley
4350a6d856 Updated 1 [Language] External backends (markdown) 2022-09-22 16:03:01 +01:00
André Videla
210ddbc50e Updated External backends (markdown) 2022-02-21 21:35:35 +00:00
Marimuthu Madasamy
ed77e63784 Remove "unfinished" label for JVM backend and update repository link 2022-01-02 15:50:23 -05:00
Andor Penzes
5aefae0714 Updated External backends (markdown) 2021-03-23 20:57:56 +01:00
Johann Rudloff
76cefca808 Add link to unfinished LLVM backend 2021-03-10 18:49:24 +01:00
Kamiλ Shakirov
1bc37b906d Add mmhelloworld's JVM backend 2021-02-26 17:21:19 +06:00
Kamiλ Shakirov
1adb221d02 Add Russoul's Lua backend 2021-02-26 17:19:08 +06:00
Z-snails
c0c8fd1938 Added wiki page of some external backends 2021-02-26 11:09:55 +00:00