Add lifted classes instances

ekmett / kan-extensions

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

Other

78 stars 33 forks source link

Closed phadej closed 6 years ago

phadej commented 7 years ago

Resolve #34

phadej commented 7 years ago

ping @RyanGlScott, was here something unclear still?

RyanGlScott commented 7 years ago

Sorry, I didn't realize you were waiting for a response.

If I'm reading this correctly, there are still two outstanding tasks:

Right?

RyanGlScott commented 6 years ago

Thanks, @phadej!