functor-products
There are 1 repositories under functor-products topic.
Risto-Stevcev/idris-functors
Bifunctors and functor products, coproducts, and composition
There are 1 repositories under functor-products topic.
Bifunctors and functor products, coproducts, and composition