On Sat, Jun 02, 2001 at 11:05:12PM +0000, luc wrote:
> chapter 12 of birds book mention mike spivey' theorem prover.
> are there anything available in source code about proof in haskell ?
The calculator in the book is available on the book's web page
http://web.comlab.ox.ac.uk/oucl/publications/books/functional/
I also have an improved version I can send on request (our web server
was incinerated last week).
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
