MiniKanren core ext-s
Extending our substitution list, s
with association: (x . v)
(define ext-s
(lambda (x v s)
(cons (x . v) s)))
Extending our substitution list, s
with association: (x . v)
(define ext-s
(lambda (x v s)
(cons (x . v) s)))