The Joy of Programming!

Home Frege Idris Java JVM

Recent Posts

Idris JVM 0.7.0 Release
Idris 2 Initial Release 0.2.1 for the JVM
Idris 2 Bootstrap Compiler on the JVM with a JVM backend
Idris JVM: Automated FFI with null safety and exception handling
Idris JVM: Guarding against Java null using Maybe type

© Marimuthu Madasamy 2024. BSD 3-Clause License

Idris

Idris JVM 0.7.0 Release 15 Jul 2024
Idris 2 Initial Release 0.2.1 for the JVM 24 Jul 2021
Idris 2 Bootstrap Compiler on the JVM with a JVM backend 30 Dec 2020
Idris JVM: Automated FFI with null safety and exception handling 11 Feb 2018
Idris JVM: Guarding against Java null using Maybe type 10 Jan 2017
Introducing Idris on the JVM and an Idris Android example 06 Jan 2017