Download idris-0.9.9.jar
idris/idris-0.9.9.jar.zip( 16 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
META-INF/maven/org.idris-lang/idris/pom.properties
META-INF/maven/org.idris-lang/idris/pom.xml
org.idris.rts.Closure.class
org.idris.rts.IdrisObject.class
org.idris.rts.Prelude.class
org.idris.rts.PrimFn.class
Related examples in the same category