Block or Report
Block or report miniKanren
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned 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.
If the problem persists, check the GitHub status page or contact support.