proof in haskell ?

[luc]

chapter 12 of birds book mention mike spivey' theorem prover.
are there anything available in source code about proof in haskell ?

(btw , haskell is a great language ! one of the rare that try to
"improve lazyness " ! (chaperter 11)

thanks
Luc


_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell