[racket] [redex] Structured Semantics

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
>
>