chickadee
»
mini-kanren
»
rembero
Identifier search
rembero
x
l
out
procedure
Goal that unifies
out
with a list where
x
has been removed from
l
.