Category: Idris 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