Reviews
build tool and package manager for idris,in idris,with free monads
Search similar apps
License
Apache License 2.0
build tool and package manager for idris,in idris,with free monads
Creator
build tool and package manager for idris,in idris,with free monads
Apache License 2.0
build tool and package manager for idris,in idris,with free monads