[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
>
>