GitHub repository: mmhelloworld/idris-jvm
Primary language: Idris
Created: 2016-07-17T07:06:58Z
Description: JVM bytecode back end for Idris