GitHub

mmhelloworld/idris-jvm

 26 forks
 474 stars

Description

JVM bytecode back end for Idris

Homepage

https://github.com/mmhelloworld/idris-jvm

Project metadata as of .

Related Packages

4

A related package is a package that declares this repository in its metadata. The list of packages is ordered by package names alphabetically.

SystemPackage
Mavenio.github.mmhelloworld:idris-jvm
Mavenio.github.mmhelloworld:idris-jvm-assembler
Mavenio.github.mmhelloworld:idris-jvm-compiler
Mavenio.github.mmhelloworld:idris-jvm-runtime
Show 10 per page