org.clojars.aaronc/idris

Runtime System for the Idris Java Backend

  • VCSN/A

  • cljdoc documentationcljdoc
  • 19 Downloads
  • 19 This Version

Leiningen/Boot

[org.clojars.aaronc/idris "0.9.20-SNAPSHOT"]

Clojure CLI/deps.edn

org.clojars.aaronc/idris {:mvn/version "0.9.20-SNAPSHOT"}

Gradle

implementation("org.clojars.aaronc:idris:0.9.20-SNAPSHOT")

Maven

<dependency>
  <groupId>org.clojars.aaronc</groupId>
  <artifactId>idris</artifactId>
  <version>0.9.20-SNAPSHOT</version>
</dependency>

Note: this artifact is a non-canonical fork. See the wiki for more details.