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

[racket-dev] composing contexts in Redex?

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Mon May 2 15:43:31 EDT 2011		 
> Why not just:
>
> A ::= hole | ((lambda x A) e)

That doesnt cover something like (((lambda y (lambda x hole)) e_1) e_2)
Posted on the dev mailing list.