[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