io.github.mmhelloworld

Maven Group · 5 artifacts

5 artifactsPage 1 of 1
idris-jvm-runtime
0.8.6
idris-jvm-assembler
0.8.6
idris-jvm
0.8.6
idris-jvm-compiler
0.8.6
idris-maven-plugin
0.0.1