ekmett/kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

语言：Haskell · GitHub 星标：84 · Fork：33

在 GitHub 上查看原仓库