GitHub repository: namin/minikanren-confo
Primary language: Clojure
Description: core.logic.nominal at the minikanren confo 2013