((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Fw: lambda calculus through redex

From: Jos Koot (jos.koot at telefonica.net)
Date: Thu Jul 9 10:00:23 EDT 2009		 
New version of "Lambda Calculus through Redex" now available at:

http://www.telefonica.net/web2/koot/lc-with-redex.zip
or
http://www.telefonica.net/web2/koot/

- Some typos corrected.
- Minor mods in sources.
- Acknowledgements added.

With thanks to Eli Barzilay for again converting doc->pdf.
Jos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20090709/c01986ac/attachment.html>
Posted on the users mailing list.