dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Make the new type system the default

Open keyboardDrummer opened this issue 1 year ago • 0 comments
trafficstars

Description

  • Make the new type system the default

How has this been tested?

  • Affects all existing tests

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

keyboardDrummer avatar Jun 27 '24 14:06 keyboardDrummer