2017-01-06 1671 words 9 min read 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… more... Idris JVM Java Android