My attempt at a tiny miniKanren/uKanren with inequality and type constraints in Python, inspired by Hello Declarative World's Ruby, and a very careful reading of the original Reasoned Schemer's appendix. It's fairly undocumented for now, but does appear to work, as far as I can tell.
-
Notifications
You must be signed in to change notification settings - Fork 0
nickolaswiebe/kanren
About
My personal, very-mini miniKanren implementation.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published