idris-jvm

JVM bytecode back end for Idris

GitHub

469 stars
28 watching
26 forks
Language: Idris
last commit: 10 days ago
Linked from 1 awesome list

idrisjavajvm

Backlinks from these awesome lists: