Blog Archive 2021 Idris 2 Initial Release 0.2.1 for the JVM Jul 24 2021 2020 Idris 2 Bootstrap Compiler on the JVM With a JVM Backend Dec 30 2020 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 2016 Haskell on the JVM via GHCJS and Nashorn Feb 27 2016 2014 Frege: Record Accessors and Mutators Mar 15 2014 2013 Frege: Hello Java Jul 10 2013