Collapsing Towers of Interpreters (in Scheme)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md
base-tests.scm
base.scm
matcher-tests.scm
matcher.scm
mk-tests.scm
mk.scm
pink-tests.scm
pink.scm
test-check.scm

README.md

Pink in Scheme (Collapsing Towers of Interpreters)

Code

  • base.scm defines the multi-level core language λ↑↓ as a definitional interpreter in Scheme.
  • pink.scm defines the meta-circular stage-parametric interpreter for Pink on top of the base.
  • matcher.scm defines a matcher as an example on top of Pink.
  • mk.scm defines a µKanren as an example on top of Pink.

Run

Each code file .scm above has a companion -tests.scm, which can be run with Chez Scheme. For example, chez pink-tests.scm runs all the Pink-related tests.

See Also