Movatterモバイル変換

Skip to content

jasonhemann/miniKanrenPublic

NotificationsYou must be signed in to change notification settings
Fork6
Star30

An outdated miniKanren implementation with a not-pairo constraint

30 stars 6 forks Branches Tags Activity

You must be signed in to change notification settings

Folders and files

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

Repository files navigation

miniKanren

the most up-to-date mK implementation

About

An outdated miniKanren implementation with a not-pairo constraint

Resources

Stars

Watchers

Forks

Report repository

Releases

No releases published

Packages

No packages published

Languages

Scheme100.0%

[8]ページ先頭

©2009-2025 Movatter.jp