@@ -27,6 +27,6 @@ Idris has support for external code generators. A C code generator
27to compile executables, and a JavaScript code generator are supplied with the
27to compile executables, and a JavaScript code generator are supplied with the
28distribution.
28distribution.
29At the point of this writing, there is also a Java code generator and an
29At the point of this writing, there is also a Java code generator and an
30−external repository with an llvm based code generator at
30+external repository with an LLVM-based code generator which can be found at
31https://github.com/idris-hackers/idris-llvm.
31https://github.com/idris-hackers/idris-llvm.