On Mon, May 2, 2011 at 2:43 PM, Stephen Chang <stch...@ccs.neu.edu> wrote: >> Why not just: >> >> A ::= hole | ((lambda x A) e) > > That doesnt cover something like (((lambda y (lambda x hole)) e_1) e_2) >
Oh, right. Sorry. Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
