/miniKanren-with-symbolic-constraints

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

Primary LanguageSchemeMIT LicenseMIT

Stargazers

No one’s star this repository yet.