https://github.com/mmhelloworld/hello-play-frege
Frege19
8 years ago
A simple Play application with Frege
Other
A basic web framework for Frege on top of servlet
Frege6bsd-3-clause
JVM bytecode back end for Idris
Idris455bsd-3-clause
5 months ago
idrisjavajvm