proof in haskell ?

Ross Paterson
Mon, 4 Jun 2001 11:07:42 +0100

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

I also have an improved version I can send on request (our web server
was incinerated last week).