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

Live Coding — Session 23: Dancing Links, Part 2

Edward Kmett

Watch on YouTube · 338 minutes

More work on Dancing Links for guanxi. -- Watch live at https://www.twitch.tv/ekmett