org.clojars.aaronc/idris

Runtime System for the Idris Java Backend

Leiningen/Boot

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

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

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

<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.

Pushed by
aaronc on Feb 12, 2016
Recent Versions
- 0.9.20-SNAPSHOT
Homepage
http://www.irdis-lang.org
License
- BSD-style
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
[![Clojars Project](https://img.shields.io/clojars/v/org.clojars.aaronc/idris.svg)](https://clojars.org/org.clojars.aaronc/idris)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/org.clojars.aaronc/idris.svg?include_prereleases)](https://clojars.org/org.clojars.aaronc/idris)