@@ -27,6 +27,6 @@ Idris has support for external code generators. A C code generator
2727to compile executables, and a JavaScript code generator are supplied with the
2828distribution.
2929At 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
3131https://github.com/idris-hackers/idris-llvm.
3232