News for hackers. Stuff that matters.
Re:Evolutionary couplings between files reveal poor software... by chongli on Monday December 15, 2014 @07:29PM (#8755319)
Haskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.

There are no comments on this comment yet.