Home

Jump to bottom Edit New page

webyrd edited this page Dec 22, 2014 · 7 revisions

Welcome to the miniKanren-uncourse wiki!

Important links

Recorded uncourse hangouts: https://www.youtube.com/playlist?list=PLO4TbomOdn2cks2n5PvifialL8kQwt0aW

Official miniKanren site: http://minikanren.org/

miniKanren IRC channel: irc.freenode.net, #minikanren

Hangout-specific links and resources

Hangout 1, 02014-11-09

Topic-specific links and resources

Coinductive logic progamming