Esverify: LiquidHaskell inspired verification for JavaScript
9 by indolering | 0 comments on Hacker News.
New top story on Hacker News: Esverify: LiquidHaskell inspired verification for JavaScript
Related Posts
Quotation of the Day: Mitt Romney Wants In Again. There Is One Catch.
Robert De Niro Uses Profanity to Condemn Trump at Tony Awards
With Tony for ‘The Band’s Visit,’ Ari’el Stachel Embraces His Roots
Andrew Garfield at the Tonys: ‘Let’s Just Bake a Cake for Everyone!’
Review: Hope and Restraint at the Tonys. Then Came Robert De Niro.
0 comments: