mmhelloworld / idris-jvm

JVM bytecode back end for Idris
☆472Updated last month

Alternatives and similar repositories for idris-jvm:

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