[racket] lc with redex

No, it is not on planet.
I think planet is not the right place.
It is an essay/tutorial, not a library.
If you have problems downloading from my web page, please let me know.
In that case I can send you the material privately and it may help me to
correct mistakes.
Best wishes, Jos 

-----Original Message-----
From: Vincent St-Amour [mailto:stamourv at ccs.neu.edu] 
Sent: miércoles, 05 de octubre de 2011 20:17
To: Jos Koot
Cc: 'Racket Users'
Subject: Re: [racket] lc with redex

Is this on PLaneT?

Vincent


At Wed, 5 Oct 2011 16:37:02 +0200,
Jos Koot wrote:
> 
> To whom it concerns,
>  
> A new lambda-calculus-with-redex version is available on my web page:
>  
> http://www.telefonica.net/web2/koot/
>  
> Inform me, please, when encountering any problems or errors or when you
have
> other suggestions.
> Kind regards, Jos
>  
>  
> - renamed all .ss and .scm files with suffix rkt.
>  
> - improvement of the description of alpha congruence such as not to be
> confused with equality.
>  
> - a more elaborated text on the difference between traversal by depth and
by
> width.
>  
> - some minor and estetical editing on the text and source codes.
>  
> - deletion of normal-order-beta-reductor-version-2, because I implemented
it
> wrongly and it appeared not to be deterministic after all.
>  
>  
>