issues
search
calvis
/
cKanren
Constraint programming language embedded in Racket
152
stars
33
forks
source link
Since so many of these defs rely on `==`, tree-unify needs to be in scope
#1
Closed
acfoltzer
closed
12 years ago