Download idris-jvm-runtime JAR 0.6.0.1 with all dependencies
Files of the artifact idris-jvm-runtime version 0.6.0.1 from the group io.github.mmhelloworld.
Artifact idris-jvm-runtime
Group io.github.mmhelloworld
Version 0.6.0.1
Last update 13. March 2023
Tags: bytecode idris backend
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies jline,
There are maybe transitive dependencies!
Group io.github.mmhelloworld
Version 0.6.0.1
Last update 13. March 2023
Tags: bytecode idris backend
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies jline,
There are maybe transitive dependencies!
There is a newer version: 0.7.1-rc.1
Show newest versionShow all versions of idris-jvm-runtime Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of idris-jvm-runtime version 0.6.0.1
Please wait ...