dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Use /functionSyntax:4 #55

Closed robin-aws closed 1 year ago

robin-aws commented 1 year ago

Ideally we can switch the whole repo over to the new syntax and use the CLI option directly, or we could do it more incrementally if necessary via {:options "/functionSyntax:4"}.