News for hackers. Stuff that matters.

A comment on Haskell Problems for a New Decade. Parent comment

Re:Haskell Problems for a New Decade by Cladode on Monday January 27, 2020 @02:18PM (#22162742) 

   In software verification, 
   a sound technique is ...
In other words, tests are not sound ... Anyway, we are quibbling about meaning of words, so this is unlikely to be fruitful.
[ Parent | on HN ]

There are no comments on this comment yet.