Pinned Loading

1. miniKanren_org-website miniKanren_org-website Public

   Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!

   HTML 12 30

2. CodeFromTheReasonedSchemer2ndEd CodeFromTheReasonedSchemer2ndEd Public

   Forked from TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd

   Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic

   Scheme 11 3

3. dissertation-single-spaced dissertation-single-spaced Public

   Forked from webyrd/dissertation-single-spaced

   Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

   TeX 2 2

4. faster-miniKanren faster-miniKanren Public

   Forked from michaelballantyne/faster-minikanren

   A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

   Scheme 17 1