> Why not just: > > A ::= hole | ((lambda x A) e)
That doesnt cover something like (((lambda y (lambda x hole)) e_1) e_2) _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
