Resursive program syntesis with relational interpreters in miniKanren.
Primary LanguageClojureMIT LicenseMIT
No issues in this repository yet.