Risto-Stevcev/idris-functors

Bifunctors and functor products, coproducts, and composition

IdrisMIT

Readme
1Issue
3Stargazers
3Watchers

idris-functors

Bifunctors and functor products, coproducts, and composition

Topics

idris functors bifunctor bifunctors functor coproduct functor-products composition

Share to

Contact site admin: Geeks.