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

Live Coding — Session 20: Relational Programming, Part 5

Edward Kmett

Watch on YouTube · 137 minutes

Back from Iceland, where I managed to get more done on guanxi. Most of this stream is devoted to describing the changes made thus far and less to actually implementing new stuff. -- Watch live at https://www.twitch.tv/ekmett