JarCasting
JarCasting JarCasting
Last Version

Idris JVM Runtime 0.5.1

JVM bytecode backend for Idris

License

License
GroupId

GroupId

io.github.mmhelloworld
ArtifactId

ArtifactId

idris-jvm-runtime
Version

Version

0.5.1
Type

Type

jar
Description

Description

Idris JVM Runtime
JVM bytecode backend for Idris

Download idris-jvm-runtime 0.5.1

Filename Size
idris-jvm-runtime-0.5.1.pom
idris-jvm-runtime-0.5.1.jar 80 KB
idris-jvm-runtime-0.5.1-sources.jar 37 KB
idris-jvm-runtime-0.5.1-javadoc.jar 272 KB
Browse 

<!-- https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-runtime/ -->
<dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm-runtime</artifactId>
    <version>0.5.1</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-runtime/
implementation 'io.github.mmhelloworld:idris-jvm-runtime:0.5.1'
// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-runtime/
implementation ("io.github.mmhelloworld:idris-jvm-runtime:0.5.1")
'io.github.mmhelloworld:idris-jvm-runtime:jar:0.5.1'
<dependency org="io.github.mmhelloworld" name="idris-jvm-runtime" rev="0.5.1">
  <artifact name="idris-jvm-runtime" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.mmhelloworld', module='idris-jvm-runtime', version='0.5.1')
)
libraryDependencies += "io.github.mmhelloworld" % "idris-jvm-runtime" % "0.5.1"
[io.github.mmhelloworld/idris-jvm-runtime "0.5.1"]

Dependencies

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.