chickadee
»
mini-kanren
»
lengtho
Identifier search
lengtho
s
n
procedure
Goal that unifies a list
s
with the length of that list
k
.