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

Live Coding — Session 17: Relational Programming, Part 3

Edward Kmett

Watch on YouTube · 107 minutes

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 https://www.twitch.tv/ekmett

Materials