Download org.idris-lang JAR files with all dependencies

idris from group org.idris-lang (version 0.9.14)

Runtime System for the Idris Java Backend

Group: org.idris-lang Artifact: idris
Show all versions Show documentation Show source

0 downloads

Artifact idris
Group org.idris-lang
Version 0.9.14
Last update 07. June 2014
Organization not specified
URL http://www.irdis-lang.org
License BSD-style
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)