Hacker News new | ask | show | jobs
by cperkins 3821 days ago
I like it. The Dafny annotations seem straightforward and approachable.

Anyone know of a similar system for Javascript?