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
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
