new site?
Fare Rideau
rideau@nef.ens.fr
Fri, 27 Jun 1997 18:30:35 +0200 (MET DST)
Dear Tunesers,
hope you're all well.
Justin Higgins from www.myos.com has proposed to permanently host the
Tunes page as http://www.myos.com/Tunes/ [or perhaps it could be
http://www.tunes.org/ ???]. I'd like to know what you think of it.
I'm currently out of a depression, working on a report
(a proof-checker for a pure subset of Scheme,
that I'd like to make reflective),
so I can begin a PhD on october.
Tunes is not dead. Not until either it succeeds,
or I'm dead myself, or lobotomized.
Regards,
#f