Summaries of intro and advanced miniKanren hangout series - View it on GitHub