io.github.mmhelloworld idris-jvm 0.8.2 4.0.0 Idris JVM Runtime org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar idris-jvm-runtime org.jline jline org.assertj assertj-core test org.junit.jupiter junit-jupiter-api test org.junit.jupiter junit-jupiter-engine test org.junit.jupiter junit-jupiter-params test