namin/TAPL-in-miniKanren-cKanren-core.logic — pull request #3 by swannodette (2013-01-05 17:59:56+00:00)
Title: `listo` -> `seqc`

`listo` wasn't handling partially instantiated lcons w/
correctly. `seqc` now does.

Add test to show that reducing step works.