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