Selected Tags

Click on a tag to remove it

Comonads packages

Showing projects tagged as Data Structures and Comonads

  • kan-extensions

    9.2 4.9 Haskell
    Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  • representable-tries

    5.2 0.0 Haskell
    representable tries