[plt-scheme] redex is great

My pleasure.

Leftmost beta-reduction:
www.telefonica.net/web2/koot/rdx-d.scm

Complete tree of beta-eta reduction with procedures for shortest 
reductions-paths and equality of terms.
www.telefonica.net/web2/koot/rdx-a.scm

Thanks for your interest.
Thanks again to Robby for Redex and his patient and expert help.
Thanks to the PLT team for PLT Scheme.
Jos

----- Original Message ----- 
From: "Prabhakar Ragde" <plragde at uwaterloo.ca>
To: <plt-scheme at list.cs.brown.edu>
Sent: Sunday, February 22, 2009 8:05 PM
Subject: Re: [plt-scheme] redex is great


> Jos Koot wrote:
>
>> I forgot the line ((nf1? V) #t) in nf1?.
>> I should have tested nf1? and nf2?  :) Even testing procedures must be 
>> tested.
>
> The testing procedure is testing a metafunction, so it should be called a 
> metatest. Then the test of the testing procedure is ... a meta-metatest?
>
> Can you post a final commented version of everything? One can probably 
> recreate it from this interesting series of posts, but it would be easier 
> not to have to do so. Thanks! --PR
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme