Relational implementation of the CESK machine
Scheme Clojure
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
miniKanren-version
nominal-clj-version
scheme-version
transformation-from-direct-mk
README.md

README.md

relational-cesk

Relational implementation of the CESK machine