[racket] lc-with-redex
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
problem.
The newest and hopefully ultimate and stable version is on my web page:
http://www.telefonica.net/web2/koot/
Have fun, Jos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20111014/04b09235/attachment.html>