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