io.github.mmhelloworld:idris-jvm 0.0.1.5

JVM bytecode backend for Idris

GroupId	io.github.mmhelloworld
ArtifactId	idris-jvm
Version	0.0.1.5
Type	pom

Download idris-jvm 0.0.1.5

Filename	Size
idris-jvm-0.0.1.5.pom	12 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'io.github.mmhelloworld:idris-jvm:pom:0.0.1.5'

Apache Ivy

<dependency org="io.github.mmhelloworld" name="idris-jvm" rev="0.0.1.5">
  <artifact name="idris-jvm" type="pom" />
</dependency>

Groovy Grape

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

Scala SBT

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

Leiningen

[io.github.mmhelloworld/idris-jvm "0.0.1.5"]