I'm happy to see this revived! Note that it has a slight snag compared to the tip of the Idris tree, I made a fix: https://github.com/idris-hackers/idris-java/p

I'm happy to see this revived! Note that it has a slight snag compared to the tip of the Idris tree, I made a fix: https://github.com/idris-hackers/idris-java/pull/4 https://github.com/idris-hackers/idris-java/pull/4