idris-jvm
io.github.mmhelloworld
JVM bytecode backend for Idris
Recommended: 0.8.5 27 versions pom Updated 2 years ago BSD-3-ClauseChecking...
Add to your project0.8.5
<dependency>
<groupId>io.github.mmhelloworld</groupId>
<artifactId>idris-jvm</artifactId>
<version>0.8.5</version>
</dependency>Version Details — 0.8.5
Packaging
pom
Direct Deps
0
Total Deps
0
Published
Unknown
License
BSD-3-Clause
JVM bytecode backend for Idris
Checking security advisories...