Name		Name	Last commit message	Last commit date
==-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

Repository files navigation

miniKanren

the most up-to-date mK implementation

About

An outdated miniKanren implementation with a not-pairo constraint

30 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages