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

Live Coding — Session 5.1: Propagators

Edward Kmett

Watch on YouTube · 16 minutes

An introduction to the "Art of the Propagator." -- Watch live at https://www.twitch.tv/ekmett