Closed robin-aws closed 2 years ago
I realized this isn't adequate, since other modules in this repo depend on Wrappers.dfy
, so we need a full clone of the repo instead. Closing this in favour of 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.