31 Oct
2010
31 Oct
'10
8:11 p.m.
On Tue, 26 Oct 2010 12:43:36 +0200, Simon Peyton-Jones <simonpj@microsoft.com> wrote:
Would someone like to make a Haskell Wiki page to summarise the responses to this thread?
Simon
I have updated the page "Applications and libraries/Theorem provers" [0] and created the new wiki page "Specification and proof" [1]. I hope someone with more expertise on the subject will write the body of this new page. Regards, Henk-Jan van Tuyl [0] http://www.haskell.org/haskellwiki/Applications_and_libraries/Theorem_prover... [1] http://www.haskell.org/haskellwiki/Specification_and_proof -- http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html --