search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Equality Expressions #45

Open DavePearce opened 2 years ago

DavePearce commented 2 years ago

Should clarify which types can be compared with equality.