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

Live Coding — Session 24: Dancing with Decision Diagrams

Edward Kmett

Watch on YouTube · 185 minutes

We manage to implement the "Dancing with Decision Diagrams" paper in guanxi. -- Watch live at https://www.twitch.tv/ekmett