idris-functors

Bifunctors and functor products, coproducts, and composition


Keywords
idris, functor, functors
License
MIT
Install
bower install idris-functors

Documentation

idris-functors

Latest release License

Bifunctors and functor products, coproducts, and composition