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

Live Coding — Session 22: Dancing Links

Edward Kmett

Watch on YouTube · 298 minutes

Implementing Knuth's algorithm X with Dancing Links in C++. -- Watch live at https://www.twitch.tv/ekmett