News for hackers. Stuff that matters.
Re:Esverify: LiquidHaskell inspired verification for JavaScript by enturn on Saturday December 01, 2018 @06:20AM (#18576308)
This seems similar to .Net Code Contracts. Although I've never used either so couldn't say for sure.

There are no comments on this comment yet.