[plt-scheme] redex is great

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Feb 19 14:44:53 EST 2009

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.


Posted on the users mailing list.