Download idris-jvm-runtime JAR file with all dependencies
idris-jvm-runtime from group io.github.mmhelloworld (version 0.7.0)
Artifact idris-jvm-runtime
Group io.github.mmhelloworld
Version 0.7.0
Last update 15. July 2024
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.7.0
Last update 15. July 2024
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)