search

ekmett / kan-extensions

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

Add MonadFix instance for Codensity #74

Open finnteegen opened 2 years ago

ekmett commented 11 months ago

Do you have any example of this actually yielding a result other than bottom?