git.iko.soy/Idris-dev
on master help sign in
Added ruby codegen to doc and alphabatised list.
93a776aJan de Muijnck-Hughes
docs/reference/codegen.rst+36−26
compare with master
unifiedsplit
@@ -58,54 +58,50 @@ Third Party
58
58
59 These are third-party code generations and may have bit-rotted or
59 These are third-party code generations and may have bit-rotted or
60 do not work with current versions of Idris. Please speak to the
60 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.
62
62
63−Python
64−------
65−
66−`Available online <https://github.com/ziman/idris-py>`__:
67−
68−Java
69−----
70
63
64+CIL (.NET, Mono, Unity)
65+-----------------------
71
66
67+::
72
68
73−`Available online <https://github.com/idris-hackers/idris-java>`__:
69+ idris --codegen cil Main.idr -o HelloWorld.exe \
74−
70+ && mono HelloWorld.exe
75−
76−``idris hello.idr --codegen java -o hello.jar``
77
71
78−Note: The resulting .jar is automatically prefixed by a header including
72+The resulting assemblies can also be used with .NET or Unity.
79−an .sh script to allow executing it directly.
80
73
81−PHP
74+Requires `idris-cil <https://github.com/bamboo/idris-cil>`__.
82−---
83
75
84−`Available online <https://github.com/edwinb/idris-php>`__
76+Erlang
77+------
85
78
86−LLVM
79+`Available online <https://github.com/lenary/idris-erlang>`__
87−-----
88
80
81+Java
82+----
89
83
90−`Available online <https://github.com/idris-hackers/idris-llvm>`__:
84+`Available online <https://github.com/idris-hackers/idris-java>`__
91
85
92−CIL (.NET, Mono, Unity)
93−-----------------------
94
86
95::
87::
96
88
97− idris --codegen cil Main.idr -o HelloWorld.exe \
89+ idris hello.idr --codegen java -o hello.jar
98− && mono HelloWorld.exe
99
90
100−The resulting assemblies can also be used with .NET or Unity.
101
91
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.
103
94
104JVM
95JVM
105---
96---
106
97
107`Available online <https://github.com/mmhelloworld/idris-jvm>`__
98`Available online <https://github.com/mmhelloworld/idris-jvm>`__
108
99
100+LLVM
101+-----
102+
103+`Available online <https://github.com/idris-hackers/idris-llvm>`__
104+
109Malfunction
105Malfunction
110------------
106------------
111
107
@@ -116,6 +112,20 @@ Ocaml
116
112
117`Available online <https://github.com/ziman/idris-ocaml>`__
113`Available online <https://github.com/ziman/idris-ocaml>`__
118
114
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>`__
119
129
120WS
130WS
121---
131---