webyrd/cool-relational-interpreter-examples
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Relational interpreter that explicitly represents errors, and can generate programs with specific errors
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
Relational Scheme interpreter, written in miniKanren, with set!, and supporting different evaluation orders
Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13.