webyrd/polyconf-2015
Resources from the Polyconf 2015 talk & relational interpreters workshop
First class macros, based on Matt Might's blog post http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Resources from the Polyconf 2015 talk & relational interpreters workshop
Tabling code for miniKanren. Only handles unification constraints, and has various limitations.
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher