mmhelloworld

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