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")
(Added Category:Tutorials)
(One intermediate revision by one user not shown)

Revision as of 22:25, 21 January 2013


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