The rKanren implementation repo.
Scheme
Latest commit d552769 Nov 13, 2013 cswords Files.
Permalink
Failed to load latest commit information.
condr-mk.scm Files. Nov 12, 2013
ex.scm Files. Nov 12, 2013
inf.scm Files. Nov 12, 2013
infero.scm Files. Nov 12, 2013
rkanren.pdf Files. Nov 12, 2013