wime12/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
SchemeMIT
Stargazers
No one’s star this repository yet.
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
SchemeMIT
No one’s star this repository yet.