Re:Finding bugs in Haskell code by proving it
by mbid on Sunday December 10, 2017 @06:09PM
(#15893999)
Well, I assume this is at least partially funded by the public. Most side projects are not. While I appreciate that the engineering that went into this is non-trivial, I fail to see the scientific relevance.
[ Parent
| on HN ]
There are no comments on this comment yet.