Finding bugs in Haskell code by proving it – Blog – Joachim Breitners Homepage

Hhm. I thought that QuickCheck was the way to go for proving Haskell code. I’m disappointed.

Comment

You must be logged in to post a comment.