Code and resources for the miniKanren summer school at University of Utah - View it on GitHub