chickadee » mini-kanren » symbolo

A tagged constraint goal that succeeds if-and-only-if s can be unified with a symbol.