GitHub - namin/metamk: Meta-Interpreters in miniKanren

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
cycler-tests.scm		cycler-tests.scm
cycler.scm		cycler.scm
doc.pdf		doc.pdf
ex-cbv-lc-tests.scm		ex-cbv-lc-tests.scm
ex-cbv-lc.scm		ex-cbv-lc.scm
ex-evalo-tests.scm		ex-evalo-tests.scm
ex-evalo.scm		ex-evalo.scm
ex-ndfa-tests.scm		ex-ndfa-tests.scm
ex-ndfa.scm		ex-ndfa.scm
ex-path.scm		ex-path.scm
ex-peano.scm		ex-peano.scm
ex-quines-tests.scm		ex-quines-tests.scm
ex-quines.scm		ex-quines.scm
ex-regexp-tests.scm		ex-regexp-tests.scm
ex-regexp.scm		ex-regexp.scm
ex-stlc-tests.scm		ex-stlc-tests.scm
ex-stlc.scm		ex-stlc.scm
matche.scm		matche.scm
meta-tests.scm		meta-tests.scm
meta.scm		meta.scm
mk-chez.scm		mk-chez.scm
mk.scm		mk.scm
mk2.scm		mk2.scm
preduce-tests.scm		preduce-tests.scm
preduce.scm		preduce.scm
proofdebug-tests.scm		proofdebug-tests.scm
proofdebug.scm		proofdebug.scm
prooftree-tests.scm		prooftree-tests.scm
prooftree.scm		prooftree.scm
refl-tests.scm		refl-tests.scm
refl.scm		refl.scm
talk.scm		talk.scm
test-all.scm		test-all.scm
test-check.scm		test-check.scm
tracer-tests.scm		tracer-tests.scm
tracer.scm		tracer.scm
utils.scm		utils.scm
vanilla-tests.scm		vanilla-tests.scm
vanilla.scm		vanilla.scm