logoalt Hacker News

pyraletoday at 4:59 AM0 repliesview on HN

Haskell has liquid haskell to do that.