https://github.com/stedolan/idris-malfunction
Haskell81
6 years ago
Experimental Malfunction backend for Idris
MIT License
Command-line JSON processor
C24736other
last year