Loading...

miniKanren Weekly Hangout #10, 2 June 2013

Loading...

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 2, 2013

We discuss CLP(Set) and declarative copy_term (a.k.a., templateo) (https://github.com/calvis/cKanren). Lindsey shows off LVish (https://github.com/lkuper/lvars/tree/...). David poses a core.logic puzzle. Dan and Jason discuss miniC, a minimal miniKanren without macros. Will shows off a relational lambda calculus reducer (https://github.com/webyrd/templateo).

Loading...

to add this to Watch Later

Add to

Loading playlists...