News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.