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