Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in miniKanren. - View it on GitHub