[plt-scheme] redex is great

I have studied this example extensively. However, in the example, hole E may 
be anywhere. I just want the leftmost hole only. I am sure I'll find a way 
to do that.
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 10:33 PM
Subject: Re: [plt-scheme] redex is great


> 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:
>
> http://redex.plt-scheme.org/lam-v.html
>
> allows reductions in only certain places.
>
> Robby
>
> 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
>>
>>