Code, wiki, and resources for the weekly miniKanren uncourse - View it on GitHub