/miniKanren-with-symbolic-constraints

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Primary LanguageSchemeMIT LicenseMIT

No issues in this repository yet.