On Tue, 26 Oct 2010 12:43:36 +0200, Simon Peyton-Jones
<simo...@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
--
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
