ikan

build tool and package manager for idris,in idris,with free monads

License

Apache License 2.0

build tool and package manager for idris,in idris,with free monads

Creator

idris-industry

Related apps