Experiments with writing relational verifier/synthesizer in miniKanren.
Primary LanguageScheme
No issues in this repository yet.