stale link

Laura Creighton lac@strakt.com
Tue Feb 25 10:52:02 2003


(due to 1.2 in the FAQ, I am reporting stale links to the mailing list,
which strikes me as odd.  Let me know what I should be doing instead
if this is wrong.)

http://www.eleves.ens.fr:8080/home/madore/computers/tunes.html
refers to 'Curry-Howard isomorphism' but that link which points
to http://www.eleves.ens.fr:8080/home/madore/computers/curryhoward.html
is gone.

Laura Creighton