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