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

Live Coding — Session 5.2: Propagators

Edward Kmett

Watch on YouTube · 143 minutes

The "Art of the Propagator", Part 2/2.
-- Watch live at https://www.twitch.tv/ekmett