[racket-dev] redex metafunction contract for two separate languages?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Feb 7 13:50:57 EST 2012

On Feb 7, 2012, at 1:28 PM, Robby Findler wrote:

> One other design question: would having the same non-terminal name in
> both languages be allowed

Yes, absolutely, it's critical. 

Posted on the dev mailing list.