https://mitpress.mit.edu/books/reasoned-schemer-second-edition
Pinned Loading
-
miniKanren_org-website
miniKanren_org-website PublicFiles for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
-
CodeFromTheReasonedSchemer2ndEd
CodeFromTheReasonedSchemer2ndEd PublicForked from TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd
Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
-
dissertation-single-spaced
dissertation-single-spaced PublicForked from webyrd/dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
-
faster-miniKanren
faster-miniKanren PublicForked from michaelballantyne/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.