Re:Liquid Haskell: Haskell as a Theorem Prover [pdf]
by aninhumer on Thursday December 08, 2016 @07:51AM
(#13129958)
I don't think that's really the same meaning. Here it's more like, if you're given a hammer, you'll notice a lot of nails you can use more easily now.
[ Parent
| on HN ]
There are no comments on this comment yet.