- Announcing Idris 2 Bootstrap Compiler on the JVM with a JVM Backend http://mmhelloworld.github.io/blog/2020/12/30/idris-2-bootstrap-compiler-on-the-jvm-with-a-jvm-backend/ 8 comments idris
- Idris JVM now guards against Java nulls using `Maybe` type http://mmhelloworld.github.io/blog/2017/01/10/idris-jvm-guarding-against-java-null-using-maybe-type/ 13 comments idris
- Introducing Idris on the JVM and an Idris Android example http://mmhelloworld.github.io/blog/2017/01/06/introducing-idris-on-the-jvm-and-an-idris-android-example/ 3 comments idris