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

Live Coding — Session 10: Succinct Serialization, Part 2

Edward Kmett

Watch on YouTube · 191 minutes

In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch live at https://www.twitch.tv/ekmett