Merge pull request #3777 from KimStebel/patch-1
remove links to unmaintained backends
commite6575c2b5da7afc5cac243b586cfbd5609f4a3df
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 25 Apr 2017, 14:15 (9 years ago)
parent9beee44588e276
README.md+1−3
@@ -28,9 +28,7 @@ Idris has support for external code generators. Supplied with the distribution
2828is a C code generator to compile executables, and a JavaScript code generator
2929with support for node.js and browser JavaScript.
3030
31−At this moment in time there are two external repositories with a
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).
31+More information about [code generators can be found on the wiki](http://idris.readthedocs.io/en/latest/reference/codegen.html).
3432
3533## More Information
3634