mvncenter: io.github.mmhelloworld:idris-jvm-runtime:0.6.0.11

bytecode idris backend

Files download

File	Operation
idris-jvm-runtime-0.6.0.11.jar	download
idris-jvm-runtime-0.6.0.11.pom	download
idris-jvm-runtime-0.6.0.11-sources.jar	download

Apache Maven

<dependency>
  <groupId>io.github.mmhelloworld</groupId>
  <artifactId>idris-jvm-runtime</artifactId>
  <version>0.6.0.11</version>
</dependency>

Gradle Groovy

implementation 'io.github.mmhelloworld:idris-jvm-runtime:0.6.0.11'

Gradle Kotlin

implementation("io.github.mmhelloworld:idris-jvm-runtime:0.6.0.11")

Scala SBT

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

Groovy Grape

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

Apache Ivy

<dependency org="io.github.mmhelloworld" name="idris-jvm-runtime" rev="0.6.0.11" />

Leiningen

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

Apache Buildr

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

Dependencies

<parent>
  <groupId>io.github.mmhelloworld</groupId>
  <artifactId>idris-jvm</artifactId>
  <version>0.6.0.11</version>
</parent>

test