Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
aninhumer
on Dec 8, 2016
|
parent
|
context
|
favorite
| on:
Liquid Haskell: Haskell as a Theorem Prover [pdf]
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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: