idris-lang/Idris-dev — pull request #1675 by edwinb (2014-10-25 21:39:10+00:00)
Title: Extract java backend and dependencies to new repo

It's now in idris-hackers/idris-java, but I can't promise it works.