[racket] lc-with-redex

From: Jos Koot (jos.koot at telefonica.net)
Date: Fri Oct 14 17:28:56 EDT 2011

To whom it concerns,
Rodolfo Carvelho has scrutinately read lc-with-redex, spotted some typos and
gave me some other advices which I followed. He my lc-with-redex.doc to
lc-with-redex.pdf. Thank you Rodolfo.
Depending on wich reader you use, you may see an ugly triangle in section
'Normal forms and reducability'. I read it with Adobe Reader without this
The newest and hopefully ultimate and stable version is on my web page:
Have fun, Jos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20111014/04b09235/attachment.html>

Posted on the users mailing list.