[Haskell] Specification and prover for Haskell

[Henk-Jan van Tuyl]

On Tue, 26 Oct 2010 12:43:36 +0200, Simon Peyton-Jones
<simonpj at 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_provers
[1] http://www.haskell.org/haskellwiki/Specification_and_proof

-- 
http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
--