search

dafny-lang / libraries

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

Aligning changes from libraries-without-variance #48

Open robin-aws opened 2 years ago

robin-aws commented 2 years ago

See https://github.com/dafny-lang/libraries-without-variance/pull/1

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