search

Whiley / WhileyDocs

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

Update for Implicit Coercions #12

Closed DavePearce closed 9 years ago

DavePearce commented 10 years ago

Issue 418 removed implicit coercions from the language. All documentation needs to be updated accordingly.