idris-lang/Idris-dev — pull request #565 by JanBessai (2013-10-29 13:01:55+00:00)
Title: Adds the ability to keep around the generated maven project

Also the monadic if-then-else hell has been eliminated from the CodegenJava entry point