changing the order of arguments to a goal to be subst sk fk
Make trace-vars prettier. Replacing with-depth with extend-relation-with-recur-limit
typeclasses.scm with predicate.
Import into the SourceForge repository. Separating out benchmarks and examples from one big file kanren.ss
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.