top | item 10859479

(no title)

cperkins | 10 years ago

I like it. The Dafny annotations seem straightforward and approachable.

Anyone know of a similar system for Javascript?

discuss

No comments yet.