Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

bower.io "coproduct" keyword

idris-functors v0.2.0
Bifunctors and functor products, coproducts, and composition
2 versions - Latest release: almost 7 years ago - 3 stars on GitHub
Related Keywords
idris 1 functor 1 functors 1 bifunctor 1 bifunctors 1 composition 1 functor-products 1