mvncenter: io.github.mmhelloworld:idris-jvm-assembler:0.0.1.4

bytecode idris backend

文件下载

文件名	操作
idris-jvm-assembler-0.0.1.4.jar	下载
idris-jvm-assembler-0.0.1.4.pom	下载
idris-jvm-assembler-0.0.1.4-sources.jar	下载

Apache Maven

<dependency>
  <groupId>io.github.mmhelloworld</groupId>
  <artifactId>idris-jvm-assembler</artifactId>
  <version>0.0.1.4</version>
</dependency>

Gradle Groovy

implementation 'io.github.mmhelloworld:idris-jvm-assembler:0.0.1.4'

Gradle Kotlin

implementation("io.github.mmhelloworld:idris-jvm-assembler:0.0.1.4")

Scala SBT

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

Groovy Grape

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

Apache Ivy

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

Leiningen

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

Apache Buildr

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

本项目依赖

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

compile

test