2 Jun
2001
2 Jun
'01
11:05 p.m.
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
4 Jun
4 Jun
10:07 a.m.
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).
9216
Age (days ago)
9218
Last active (days ago)
1 comments
2 participants
participants (2)
-
luc -
Ross Paterson