The Comonad.Readertypes, (co)monads, substructural logic

Live Coding — Session 26

Edward Kmett

Watch on YouTube · 85 minutes

Getting back in the saddle after 4 years away. Dusting off my work on hkd-based distributive functors. -- Watch live at https://www.twitch.tv/ekmett