[racket-dev] composing contexts in Redex?

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Mon May 2 16:30:51 EDT 2011

>> (define-language test
>>  (e x (λ x e) (e e))
>>  (x variable-not-otherwise-mentioned)
>>  (A hole
>>     (in-hole (A e) (λ x A))))

Cool, that works! I didnt think to do that with in-hole. Can you
explain how it keeps the number of lambdas and arguments the same
though? I'm cant quite figure out what's going on.



Posted on the dev mailing list.