[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    Re: [Haskell] Specification and prover for Haskell
From:       "Henk-Jan van Tuyl" <hjgtuyl () chello ! nl>
Date:       2010-10-31 20:11:13
Message-ID: op.vlgicze3pz0j5l () zen5 ! arnhem ! chello ! nl
[Download RAW message or body]

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_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
[prev in list] [next in list] [prev in thread] [next in thread]