New, sort-of-related work: A property-based testing library for Racket. https://github.com/Bogdanp/rackcheck -- ------------------------------------------------------------------------------- Eric Eide <eeide at cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX