Code and resources for the miniKanren summer school at University of Utah
For Racket goodness
> cd path/to/utah-minikanren-summer-school/mk-summer-school-racket
> raco link .
and now, in Racket or the Dr, you should be able to just
(require mk-summer-school-racket/mk)
or whatever other files in that directory you want