【文件属性】：
文件名称：miniKanren, 规范miniKanren实现.zip
文件大小：17KB
文件格式：ZIP
更新时间：2022-10-07 23:24:34
开源
miniKanren, 规范miniKanren实现 miniKanren规范miniKanren实现。实现本文中描述的语言：William E 。Byrd 。Eric Holk和 Daniel P 。 Friedman 。miniKanren，无标签： 通过关系解释器( 编程珍珠)
【文件预览】：
miniKanren-master
----simple-interp.scm(994B)
----symbolo-numbero-tests.scm(5KB)
----numbers.scm(7KB)
----numbero-tests.scm(4KB)
----test-numbers.scm(6KB)
----==-tests.scm(918B)
----LICENSE(1KB)
----absento-closure-tests.scm(2KB)
----symbolo-tests.scm(5KB)
----test-simple-interp.scm(2KB)
----test-all.scm(690B)
----test-check.scm(476B)
----README.md(530B)
----mk.scm(19KB)
----absento-tests.scm(13KB)
----disequality-tests.scm(7KB)