Idris JVM Compiler

JVM bytecode backend for Idris

License	BSD-3-Clause
GroupId	io.github.mmhelloworld
ArtifactId	idris-jvm-compiler
Last Version	0.5.1
Release Date	Jun 15, 2022
Type	zip
Description	Idris JVM Compiler JVM bytecode backend for Idris

Download idris-jvm-compiler

Filename	Size
idris-jvm-compiler-0.5.1.pom
idris-jvm-compiler-0.5.1.zip	7 MB
idris-jvm-compiler-0.5.1-sources.jar	1 MB
idris-jvm-compiler-0.5.1-javadoc.jar	23 KB

Dependencies

compile (3)

Group / Artifact	Type	Version
io.github.mmhelloworld : idris-jvm-runtime	jar	0.5.1
io.github.mmhelloworld : idris-jvm-assembler	jar	0.5.1
org.ow2.asm : asm	jar	9.0

Project Modules

There are no modules declared in this project.

Versions

Version
0.5.1 Jun 15, 2022
0.0.1.5 Jun 15, 2022
0.0.1.4 Jun 14, 2022
0.0.1.3 Jun 14, 2022