mmhelloworld / idris-jvmLinks

JVM bytecode back end for Idris
474Updated 2 weeks ago

Alternatives and similar repositories for idris-jvm

Users that are interested in idris-jvm are comparing it to the libraries listed below

Sorting: