Let's make another miniKanren.
Standard ML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
demo
lib
src Fixed to use latest version of sml-abt Jul 17, 2015
.gitignore
.gitmodules
LICENSE
README.md
kanren.cm

README.md

sml-kanren

An implementation of miniKanren with ===, conj, disconj, and fresh. This is mostly written so I can test out some libraries I've made for ML.

If you want a sense of how the language is layed out, see src/kanren.sig. If you want an example of how to write some fun programs, see demo/ or src/prelude.fun.