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.
[ Parent
| on HN ]
There are no comments on this comment yet.