search

dafny-lang / libraries

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

Feature request: comparison operations on (i)maps #9

Closed robin-aws closed 3 years ago

robin-aws commented 3 years ago

Follow-up from https://github.com/dafny-lang/libraries/pull/7, which includes functions like Subset on maps and imaps: https://github.com/dafny-lang/libraries/blob/master/src/Collections/Maps/Maps.dfy#L65

robin-aws commented 3 years ago

Moved to https://github.com/dafny-lang/dafny/issues/1407