Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
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
appendixA.scm
appendixB.scm
appendixC.scm
appendixD.scm
extending-interpreter.scm
interp-helpers.scm
interpreter.scm
intro.scm
language.scm
quine-generation.scm
quinec.scm
replacestar.scm
testall.scm
testcheck.scm

README.md

2012-scheme-workshop-quines-paper-code

Code from the 2012 Scheme Workshop programming pearl "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters," by William E. Byrd, Eric Holk, and Daniel P. Friedman.

To run the tests, just load the file testall.scm

All code tested under Petite Chez Scheme Version 8.4.