Download idris-jvm-assembler JAR 0.7.1-rc.1 with all dependencies
Files of the artifact idris-jvm-assembler version 0.7.1-rc.1 from the group io.github.mmhelloworld.
Please rate this JAR file. Is it a good library?
0 downloads
Source code of idris-jvm-assembler version 0.7.1-rc.1
Please wait ...