https://github.com/idris-industry/ikan
Idris34
6 years ago
build tool and package manager for idris,in idris,with free monads
Apache License 2.0