idris-functors
Bifunctors and functor products, coproducts, and composition
Latest release v0.2.0 - Published - 1 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search