[racket-dev] composing contexts in Redex?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon May 2 15:58:53 EDT 2011

On Mon, May 2, 2011 at 2:43 PM, Stephen Chang <stchang at 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.


Posted on the dev mailing list.