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<eli at 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!
>