Haskell Live-Coding, Session 17, Relational Programming, Part 3
More relational programming. We finish fleshing out the notion of a "Log" to help us steal the power of seminaive evaluation from Datalog for our propagator framework.
Project at http://github.com/ekmett/guanxi -- Watch live at / ekmett