[racket] [redex] Structured Semantics

Yes, we do. 


On Jul 8, 2010, at 11:27 AM, Robby Findler wrote:

> I think Casey's right that we need better support for this in Redex.
> 
> Robby
> 
> On Thu, Jul 8, 2010 at 10:12 AM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> 
>> On Jul 8, 2010, at 11:06 AM, Robby Findler wrote:
>> 
>>> On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen
>>> <matthias at ccs.neu.edu> wrote:
>>>> Do we show the GC rules in the Redex book? It would do the same.
>>> 
>>> Only in part I.
>> 
>> I was afraid of that.
>> 
>> I think a revision should demonstrate how to run GC on a store
>> machine. That would have solved Jay's problem.
>> 
>> -- Matthias
>> 
>>