Live Coding — Session 19: Relational Programming, Part 4 (Soul of a New Machine)
Edward Kmett
More live-coding. New computer, so I'm currently playing with my development environment to see how well it works for the stream. In the meantime, we wander back to guanxi and play with the Key monad implementation, and tweak a small Overton style finite domain solver to have stronger types and a more propagator-like implementation strategy. -- Watch live at https://www.twitch.tv/ekmett