search

dafny-lang / libraries

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

Add comments/example code for covariance of Wrappers #14

Open robin-aws opened 3 years ago

robin-aws commented 3 years ago

Follow-up from https://github.com/dafny-lang/libraries/pull/13#issuecomment-912735366, which raced with the PR getting merged. :)