meta-circular miniKanren interpreter
Scheme
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.
README.md
mk-meta-interp.scm
mk.scm
pmatch.scm
test-check.scm

README.md

mk-metacircular-interp

meta-circular miniKanren interpreter.

TODO:

  • generalize conde, fresh, and run
  • cleanup when and where Scheme can be called from the interpreter (nested runs shouldn't be allowed, for example; right now the code is too restrictive)