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