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

Esverify: LiquidHaskell inspired verification for JavaScript
8 by indolering | 0 comments on Hacker News.