Category: Java 2018 Idris JVM: Automated FFI With Null Safety and Exception Handling Feb 11 2018 2017 Idris JVM: Guarding Against Java Null Using Maybe Type Jan 10 2017 Introducing Idris on the JVM and an Idris Android Example Jan 06 2017 2013 Frege: Hello Java Jul 10 2013