JarCasting
JarCasting JarCasting

Project Group: io.github.mmhelloworld

Idris JVM Runtime

 io.github.mmhelloworld : idris-jvm-runtime

JVM bytecode backend for Idris

Last Version: 0.5.1

Release Date:

Idris JVM Assembler

 io.github.mmhelloworld : idris-jvm-assembler

JVM bytecode backend for Idris

Last Version: 0.5.1

Release Date:

Idris JVM

 io.github.mmhelloworld : idris-jvm

JVM bytecode backend for Idris

Last Version: 0.5.1

Release Date:

Idris JVM Compiler

 io.github.mmhelloworld : idris-jvm-compiler

JVM bytecode backend for Idris

Last Version: 0.5.1

Release Date:

  • 1