idris-jvm

JVM bytecode back end for Idris

Search similar apps

License

BSD 3-Clause "New" or "Revised" License

JVM bytecode back end for Idris

Creator

mmhelloworld

Related apps

fregelet

A basic web framework for Frege on top of servlet

Frege6bsd-3-clause

8 years ago

hello-play-frege

A simple Play application with Frege

Frege20other

9 years ago