Loading...

miniKanren Hangout #12, 23 June 2013

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Streamed live on Jun 23, 2013

Gary shows off his CLP(FD) program to layout 2D figures (http://gfredericks.com/gfrlog/98); Will describes the new, apparently fixed templateo constraint (https://github.com/calvis/cKanren/blo...), and explains how it is used in a relational term reducer for the untyped lambda-calculus (https://github.com/webyrd/templateo).

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...