Projects in Awesome Lists tagged with functor-products
A curated list of projects in awesome lists tagged with functor-products .
https://github.com/risto-stevcev/idris-functors
Bifunctors and functor products, coproducts, and composition
bifunctor bifunctors composition coproduct functor functor-products functors idris
Last synced: 22 Feb 2025
