Download idris-jvm JAR file with all dependencies
idris-jvm from group io.github.mmhelloworld (version 0.7.1-rc.1)
Group: io.github.mmhelloworld Artifact: idris-jvm
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Page 1 from 1 (items total 1)