https://github.com/stedolan/idris-malfunction
Haskell81
6 years ago
Experimental Malfunction backend for Idris
MIT License