namin/TAPL-in-miniKanren-cKanren-core.logic — pull request #4 by swannodette (2013-02-27 15:34:52+00:00)
Title: Clean up check-ties

Quite a bit less yucky now.