Last Version

Idris JVM Compiler 0.5.1

License	License BSD-3-Clause
GroupId	GroupId io.github.mmhelloworld
ArtifactId	ArtifactId idris-jvm-compiler
Version	Version 0.5.1
Type	Type zip
Description	Description Idris JVM Compiler JVM bytecode backend for Idris

Download idris-jvm-compiler 0.5.1

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
Browse

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