On Apr 1, Robby Findler wrote: > There were a bunch of small improvements to the way redex typesets > things. Not worth listing them all, but a generic bullet seems good. > > - A number of improvements to Redex's typesetting facilities
And nothing on random testing?
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
