Selected Tags

Click on a tag to remove it

Data Structures packages

Showing projects tagged as Comonads and Data Structures

  • kan-extensions

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

    5.1 0.0 Haskell
    representable tries