Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Coq)
(Added a link to "Code testing in Haskell"; updated the link for "QuickChecking a window manager")
(8 intermediate revisions by 5 users not shown)

Revision as of 18:52, 6 October 2012

Contents

1 Type system enforcement


2 Testing, correctness and proofs

2.1 QuickCheck


2.2 HUnit


2.3 Catch


2.4 Other


3 Proofs

3.1 GADTs


3.2 Coq


3.3 Isabelle


3.4 Related work


4 Further reading