[racket] [redex] Structured Semantics

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Jul 8 11:06:43 EDT 2010

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.


Posted on the users mailing list.