Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Streamed live on Jun 30, 2013
Claire shows off a new macro for defining constraints using attributed variables, a new version of the matche pattern matching macro, and the implementation of templateo (declarative copy_term) (https://github.com/calvis/cKanren). Norman demos his code for solving nonogrids problems (https://gist.github.com/orb/5895918). Will talks about CPSing miniKanren programs.