idris-jvm

JVM bytecode back end for Idris

469 stars

28 watching

26 forks

Language: Idris

last commit: 10 days ago

Linked from 1 awesome list

idrisjavajvm

Backlinks from these awesome lists:

joaomilho/awesome-idris