Code and resources for the miniKanren summer school at University of Utah