Personal tools

Blog articles/Testing

From HaskellWiki

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

Latest revision as of 18:49, 20 May 2013


[edit] 1 Type system enforcement

[edit] 2 Testing, correctness and proofs

[edit] 2.1 QuickCheck

[edit] 2.2 HUnit

[edit] 2.3 Catch

[edit] 2.4 Other

[edit] 3 Proofs

[edit] 3.1 GADTs

[edit] 3.2 Coq

[edit] 3.3 Isabelle

[edit] 3.4 Related work

[edit] 4 Further reading