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

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

> On Tue, Feb 7, 2012 at 12:50 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> 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.
> 
> Just to be clear, I'm asking about the case where the prefixes have
> been applied and there are still overlaps.


I don't care about that case.