@@ -23,9 +23,10 @@ The Idris wiki contains instructions for building on various platforms and for
23getting involved with development. It is located at
23getting involved with development. It is located at
24https://github.com/idris-lang/Idris-dev/wiki .
24https://github.com/idris-lang/Idris-dev/wiki .
26−Idris has support for external code generators. A C code generator
26+Idris has support for external code generators. Supplied with the distribution
27−to compile executables, and a JavaScript code generator are supplied with the
27+is C code generator to compile executables, and a JavaScript code generator
28−distribution.
28+with support for node.js and browser JavaScript.
29At the point of this writing, there is also a Java code generator and an
30At the point of this writing, there is also a Java code generator and an
30external repository with an LLVM-based code generator which can be found at
31external repository with an LLVM-based code generator which can be found at
31https://github.com/idris-hackers/idris-llvm.
32https://github.com/idris-hackers/idris-llvm.