Idris JVM Assembler

JVM bytecode backend for Idris

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

Download idris-jvm-assembler

Filename	Size
idris-jvm-assembler-0.5.1.pom
idris-jvm-assembler-0.5.1.jar	50 KB
idris-jvm-assembler-0.5.1-sources.jar	18 KB
idris-jvm-assembler-0.5.1-javadoc.jar	166 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/ -->
<dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm-assembler</artifactId>
    <version>0.5.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/
implementation 'io.github.mmhelloworld:idris-jvm-assembler:0.5.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-assembler/
implementation ("io.github.mmhelloworld:idris-jvm-assembler:0.5.1")

Apache Buildr

'io.github.mmhelloworld:idris-jvm-assembler:jar:0.5.1'

Apache Ivy

<dependency org="io.github.mmhelloworld" name="idris-jvm-assembler" rev="0.5.1">
  <artifact name="idris-jvm-assembler" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.mmhelloworld', module='idris-jvm-assembler', version='0.5.1')
)

Scala SBT

libraryDependencies += "io.github.mmhelloworld" % "idris-jvm-assembler" % "0.5.1"

Leiningen

[io.github.mmhelloworld/idris-jvm-assembler "0.5.1"]

Dependencies

compile (2)

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

test (4)

Group / Artifact	Type	Version
org.assertj : assertj-core	jar	3.16.1
org.junit.jupiter : junit-jupiter-api	jar	5.7.2
org.junit.jupiter : junit-jupiter-engine	jar	5.7.2
org.junit.jupiter : junit-jupiter-params	jar	5.7.2

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