3 ms·

I like it. The Dafny annotations seem straightforward and approachable. Anyone know of a similar system for Javascript?