search

Whiley / WhileyDocs

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

Remove real type #44

Open DavePearce opened 2 years ago

DavePearce commented 2 years ago

Discussion in S4.11 includes real type.