((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[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.

Robby
Posted on the dev mailing list.