io.github.mmhelloworld:idris-jvm-runtime 0.0.1.3

GroupId	io.github.mmhelloworld
ArtifactId	idris-jvm-runtime
Version	0.0.1.3
Type	jar

Download idris-jvm-runtime 0.0.1.3

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

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.mmhelloworld/idris-jvm-runtime/
implementation 'io.github.mmhelloworld:idris-jvm-runtime:0.0.1.3'

Gradle Kotlin

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

Apache Buildr

'io.github.mmhelloworld:idris-jvm-runtime:jar:0.0.1.3'

Apache Ivy

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

Groovy Grape

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

Scala SBT

libraryDependencies += "io.github.mmhelloworld" % "idris-jvm-runtime" % "0.0.1.3"

Leiningen

[io.github.mmhelloworld/idris-jvm-runtime "0.0.1.3"]