Tag: Android(1 posts)

Introducing Idris on the JVM and an Idris Android example

Idris on the JVM! Yes, a dependently typed language on the JVM! I have been working on a JVM bytecode backend for Idris for the past few months and it is…