namin/minikanren-confo

core.logic.nominal at the minikanren confo 2013

语言：Clojure · GitHub 星标：18 · Fork：3

话题：binders · clojure · minikanren · paper-implementations

在 GitHub 上查看原仓库