Relational interpreter for a relational language!
Code repository for the paper metaKanren : Towards A Metacircular Relational Interpreter, Bharathi Ramana Joshi and William E. Byrd.
- shallow.rkt: shallow embedding used in Section 1.1
- shallow-examples.rkt: examples in shallow embedding used to motivate deep embedding
- paper-examples.rkt: metaKanren examples used in the paper (discussed in Section 3)
- metaKanren.rkt: relational interpreter for metaKanren (discussed in Section 4)