@@ -58,54 +58,50 @@ Third Party
5858
5959 These are third-party code generations and may have bit-rotted or
6060 do not work with current versions of Idris. Please speak to the
61− maintainors of the generators if there are any problems.
61+ project's maintainors if there are any problems.
6262
63−Python
64−------
65−
66−`Available online <https://github.com/ziman/idris-py>`__:
67−
68−Java
69−----
7063
64+CIL (.NET, Mono, Unity)
65+-----------------------
7166
67+::
7268
73−`Available online <https://github.com/idris-hackers/idris-java>`__:
74−
75−
76−``idris hello.idr --codegen java -o hello.jar``
69+ idris --codegen cil Main.idr -o HelloWorld.exe \
70+ && mono HelloWorld.exe
7771
78−Note: The resulting .jar is automatically prefixed by a header including
79−an .sh script to allow executing it directly.
72+The resulting assemblies can also be used with .NET or Unity.
8073
81−PHP
82−---
74+Requires `idris-cil <https://github.com/bamboo/idris-cil>`__.
8375
84−`Available online <https://github.com/edwinb/idris-php>`__
76+Erlang
77+------
8578
86−LLVM
87−-----
79+`Available online <https://github.com/lenary/idris-erlang>`__
8880
81+Java
82+----
8983
90−`Available online <https://github.com/idris-hackers/idris-llvm>`__:
84+`Available online <https://github.com/idris-hackers/idris-java>`__
9185
92−CIL (.NET, Mono, Unity)
93−-----------------------
9486
9587::
9688
97− idris --codegen cil Main.idr -o HelloWorld.exe \
98− && mono HelloWorld.exe
89+ idris hello.idr --codegen java -o hello.jar
9990
100−The resulting assemblies can also be used with .NET or Unity.
10191
102−Requires `idris-cil <https://github.com/bamboo/idris-cil>`__.
92+Note: The resulting .jar is automatically prefixed by a header including
93+an .sh script to allow executing it directly.
10394
10495JVM
10596---
10697
10798`Available online <https://github.com/mmhelloworld/idris-jvm>`__
10899
100+LLVM
101+-----
102+
103+`Available online <https://github.com/idris-hackers/idris-llvm>`__
104+
109105Malfunction
110106------------
111107
@@ -116,6 +112,20 @@ Ocaml
116112
117113`Available online <https://github.com/ziman/idris-ocaml>`__
118114
115+PHP
116+---
117+
118+`Available online <https://github.com/edwinb/idris-php>`__
119+
120+Python
121+------
122+
123+`Available online <https://github.com/ziman/idris-py>`__
124+
125+Ruby
126+----
127+
128+`Available online <https://github.com/mrb/idris-ruby>`__
119129
120130WS
121131---