Haskell Live-Coding, Session 19, Relational Programming, Part 4 (Soul of a New Machine)

Profile Picture
- Published on Nov 19, 2018馃審 Public

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