plt/racket — pull request #430 by maxsnew (2013-09-06 09:46:26+00:00)
Title: New Pattern for Redex Enumeration and Code Cleanup/Tests

Redex enumeration supports variable-not-otherwise-mentioned.

Other changes mostly structural. Also adds testing languages for named repeats/named variables.