GitHub repository: mmhelloworld/idris-jvm-runtime
Primary language: Java
Description: Runtime library for Idris JVM bytecode backend