search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
78 stars 33 forks source link

Make eagerly forward-`-Wcompat` clean #38

Closed hvr closed 7 years ago