[plt-scheme] redex is great

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Feb 19 16:33:51 EST 2009

You can define a grammar for where reductions are allowed, indicating
that with 'hole' and then use 'in-hole' in your reduction rules. For
example, the E defined here:


allows reductions in only certain places.


On Thu, Feb 19, 2009 at 3:26 PM, Jos Koot <jos.koot at telefonica.net> wrote:
> May be toy just gave me a ckue how ti do this,
> Thanks, Jos
> ----- Original Message ----- From: "Robby Findler"
> <robby at eecs.northwestern.edu>
> To: "Jos Koot" <jos.koot at telefonica.net>
> Cc: <plt-scheme at list.cs.brown.edu>
> Sent: Thursday, February 19, 2009 8:44 PM
> Subject: Re: [plt-scheme] redex is great
>> Thanks for the kind words, Jos.
>> On Thu, Feb 19, 2009 at 12:27 PM, Jos Koot <jos.koot at telefonica.net>
>> wrote:
>>> Would it be possible to add a in-left-most-hole to the reduction rules of
>>> redex? (same as in-hole, but applying to the leftmost one only) May be I
>>> should try to add iyt myself?
>> If I'm understanding correctly, I think the easiest thing would be to
>> define a context like that and then just use it instead of adding
>> something more general to Redex.
>> Robby

Posted on the users mailing list.