Download idris-jvm-runtime JAR file with all dependencies
idris-jvm-runtime from group io.github.mmhelloworld (version 0.5.1.1)
Artifact idris-jvm-runtime
Group io.github.mmhelloworld
Version 0.5.1.1
Last update 25. February 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.5.1.1
Last update 25. February 2023
Tags: bytecode idris backend
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies jline,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)