chickadee » mini-kanren » charo

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