Proofs and development

[Alan Grover]

"S. Alexander Jacobson" <alex@i2x.com> wrote
>On Tue, 2 Jun 1998, Alan Grover wrote:
>> Some of these things are less about a compiler than about a development
>> environment. That's why I brought up literate programming. I look in on the
>> newsgroup, but noone seems to have picked up on XML, etc.
>
>Some Haskell folk are starting to work on XML and Haskell.  You want to
>contact Erik Meijer <erik@cse.ogi.edu> for more info.

Thanks, I hadn't seen that.

>PS How do I change my listing so that I can mail from alex@i2x.com?

I don't quite understand what you are asking. Something about not sending
to the mailing list? Something about the mailing list rejecting your
submissions? Your From: was "S. Alexander Jacobson" <alex@i2x.com>.

>PPS Which newsgroups are you reading?

uh, comp.programming.literate, comp.lang.functional, and comp.object would
be the most pertinent, I think.

---
"Alan Grover, Technical Pb" awgrover@umich.edu
+1 (743) 647-5778
Project Leader
Health Media Research Lab, Cancer Center
5D04 North Ingalls Building, Mail Stop 0471
300 North Ingalls
Ann Arbor, MI 48109-0471