News for hackers. Stuff that matters.

A comment on Finding bugs in Haskell code by proving it. Parent comment

Re:Finding bugs in Haskell code by proving it by mbid on Sunday December 10, 2017 @05:58PM (#15893952)
I don't think a spam filter would be the first thing you'd prove correct if you wanted to go down that road..
[ Parent | on HN ]

There are no comments on this comment yet.