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).