Code, wiki, and resources for the weekly miniKanren uncourse