alt
Hacker News
pyrale
•
today at 4:59 AM
•
0 replies
•
view on HN
Haskell has liquid haskell to do that.