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

• Pink in Scala