Comonads packages
Showing projects tagged as Data Structures, Functors, and Comonads
-
kan-extensions
9.2 4.9 HaskellKan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Showing projects tagged as Data Structures, Functors, and Comonads