Idris JVM

JVM bytecode backend for Idris

License	BSD-3-Clause
GroupId	io.github.mmhelloworld
ArtifactId	idris-jvm
Last Version	0.5.1
Release Date	Jun 15, 2022
Type	pom
Description	Idris JVM JVM bytecode backend for Idris
Project URL	https://github.com/mmhelloworld/idris-jvm
Source Code Management	http://github.com/mmhelloworld/idris-jvm

Download idris-jvm

Filename	Size
idris-jvm-0.5.1.pom	12 KB

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
0.5.1 Jun 15, 2022
0.0.1.5 Jun 15, 2022
0.0.1.4 Jun 14, 2022
0.0.1.3 Jun 14, 2022