Oh, okay. The two main redex bullet items are, I think, define-relation and the way 'where' clauses have been improved. I'm not sure if either warrants mention in the release announcement (altho the latter is something many have asked for).
Robby On Mon, Jul 20, 2009 at 8:12 PM, Eli Barzilay<e...@barzilay.org> wrote: > On Jul 20, Robby Findler wrote: >> I think define-relation is new this time, in Redex...? > > (Most of the text I'm including at this stage is coming from scanning > the commit messages.) > > -- > ((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
