Esverify: LiquidHaskell inspired verification for JavaScript


New top story on Hacker News: Esverify: LiquidHaskell inspired verification for JavaScript