Proofs and development

[S. Alexander Jacobson]

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.

-Alex-

PS How do I change my listing so that I can mail from alex@i2x.com?
PPS Which newsgroups are you reading?



___________________________________________________________________
S. Alexander Jacobson			i2x Media  
1-212-697-0184 voice			1-212-697-1427 fax