untitled-relational-interpreter-book:miniKanren中的关系编程
需积分: 9 152 浏览量
2021-05-25
23:16:15
上传
评论
收藏 302KB ZIP 举报
untitled-relational-interpreter-book-master.zip （86个子文件） 
untitled-relational-interpreter-book-master old-outlines 
most-recent-outline.txt 10KB
most-recent-old-outline.org 20KB old-outline-small.org 23KB outline-big.org 6KB latex slatex slatex 202B manifest 356B history 5KB tex2page.tex 18KB slatxdoc.t2p 784B defun.tex 472B slatex.sty 17KB COPYING 255B INSTALL 2KB slatxdoc.bib 1KB scmxlate-slatex-src.scm 2KB cltl.sty 3KB version.tex 23B callsla.scm 261B slatex-src.scm 71KB dialects umbscheme-slatex-src.scm 1KB petite-slatex-src.scm 42B other-slatex-src.scm 174B mzscheme-slatex-src.scm 214B scsh-slatex-src.scm 1KB scm-slatex-src.scm 102B make-callsla.scm 606B dialects-supported.scm 74B files-to-be-ported.scm 15B mitscheme-slatex-src.scm 105B operating-systems-supported.scm 13B sxm-slatex-src.scm 378B gambit-slatex-src.scm 2KB plt-slatex-src.scm 2KB make-echo-script.scm 1KB chez-slatex-src.scm 251B cl-slatex-src.scm 4KB make-qualified-names.scm 3KB bigloo-slatex-src.scm 915B guile-slatex-src.scm 840B makefile 52B slatex.scm 106KB slatxdoc.tex 48KB README 3KB preface.tex 25KB urib.bib 129KB automata.tex 262B tufte-common.def 65KB introduction.tex 7KB urib.tex 6KB xeslatex 160B scmxlate manifest 216B history 11KB scmxlate-version.tex 22B clmacros.cl 14KB COPYING 255B scm2cl.tex 3KB scmxlate.cl 3KB scm2cl.cl 14KB INSTALL 402B sample.configure 4KB mbe-procs.cl 4KB clprocs.cl 4KB clnames.cl 5KB scmxlate.scm 33KB makefile 550B README 298B index.tex 25KB build 353B language.tex 270B conclusion.tex 221B Makefile 247B acknowledgments.tex 99B title.tex 303B urib-prelude.tex 2KB
urib.pdf 65KB tufte-book.cls 2KB interpreters.tex 346B quotes.txt 103B fancyvrb1.sty 2KB README.md 6KB old-src pmatch.scm 3KB interp.scm 26KB scope.scm 52KB mk.scm 20KB test-check.scm 391B matche.scm 4KB资源评论
