miniKanren

the most up-to-date mK implementation

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
==-tests.ss		==-tests.ss
README.md		README.md
absento-closure-tests.ss		absento-closure-tests.ss
absento-tests.ss		absento-tests.ss
disequality-tests.ss		disequality-tests.ss
mk.scm		mk.scm
not-pairo-tests.ss		not-pairo-tests.ss
numbero-tests.ss		numbero-tests.ss
numbers.ss		numbers.ss
symbolo-numbero-tests.ss		symbolo-numbero-tests.ss
symbolo-tests.ss		symbolo-tests.ss
test-infer.ss		test-infer.ss
test-interp.ss		test-interp.ss
test-numbers.ss		test-numbers.ss
test-quines.ss		test-quines.ss
test.ss		test.ss

Provide feedback