ghc-kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...