[plt-scheme] redex is great

From: Jos Koot (jos.koot at telefonica.net)
Date: Thu Feb 19 16:26:28 EST 2009

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.