8000

Name		Name	Last commit message	Last commit date
appendo.scm		appendo.scm
copy-termo.scm		copy-termo.scm
cycler-tests.scm		cycler-tests.scm
cycler.scm		cycler.scm
doc.pdf		doc.pdf
ebg-tests.scm		ebg-tests.scm
ebg.scm		ebg.scm
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-gift.scm		ex-gift.scm
ex-lift-calc.scm		ex-lift-calc.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

About

Prolog-Style Meta-Interpreters in miniKanren

logic-programming meta metaprogramming minikanren prolog reflection scheme

33 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages

0