Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(HUnit: update link)
(Other)
 
(7 intermediate revisions by 4 users not shown)

Latest revision as of 18:49, 20 May 2013

Contents

[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