You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
seanmcl opened this issue
Apr 26, 2021
· 1 comment
Labels
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: language definitionRelating to the Dafny language definition itself
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: language definitionRelating to the Dafny language definition itself
Or patterns would be nice to have. For example, to write the code below without them we'd need helper methods which adds to syntactic noise.
The text was updated successfully, but these errors were encountered: