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 > <matth...@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 >>> <matth...@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 >> >> _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
