[racket] lc with redex

From: Jos Koot (jos.koot at telefonica.net)
Date: Thu Oct 6 16:13:10 EDT 2011

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?


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
> 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
> width.
> - some minor and estetical editing on the text and source codes.
> - deletion of normal-order-beta-reductor-version-2, because I implemented
> wrongly and it appeared not to be deterministic after all.

Posted on the users mailing list.