@@ -28,9 +28,7 @@ Idris has support for external code generators. Supplied with the distribution
28is a C code generator to compile executables, and a JavaScript code generator
28is a C code generator to compile executables, and a JavaScript code generator
29with support for node.js and browser JavaScript.
29with support for node.js and browser JavaScript.
31−At this moment in time there are two external repositories with a
31+More information about [code generators can be found on the wiki](http://idris.readthedocs.io/en/latest/reference/codegen.html).
32−[Java code generator](https://github.com/idris-hackers/idris-java) and an
33−[LLVM-based code generator](https://github.com/idris-hackers/idris-llvm).
35## More Information
33## More Information