search

dafny-lang / libraries

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

Converting set to sorted sequence #66

Closed stefan-aws closed 1 year ago

stefan-aws commented 1 year ago

Adding support for set to ordered sequence conversion, as proposed by @cpitclaudel in https://github.com/dafny-lang/libraries/issues/59. I changed some of his initial notation.

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

davidcok commented 1 year ago

Suggestion: Mark this module as function-syntax 4 and use Dafny4 syntax, so the text does not need to be changed later.