Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Testing, correctness and proofs)
(Testing, correctness and proofs)
Line 1: Line 1:
  +
== Type checking for correctness ==
  +
* [http://weblog.raganwald.com/2007/07/can-your-type-checking-system-do-this.html Can your type checking system do this?]
  +
 
== Testing, correctness and proofs ==
 
== Testing, correctness and proofs ==
   

Revision as of 06:12, 10 July 2007

Type checking for correctness

Testing, correctness and proofs

Further reading