Code and resources for the miniKanren miniCourse.