summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* allow substitution to be falseracketWei Tang2015-08-311-11/+32
* add test for racket versionWei Tang2015-08-311-4/+62
* migrate mm from clojureWei Tang2015-08-301-0/+290
* add the canonical minikanren implementationWei Tang2015-08-302-0/+646