Missing section for type tests

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.

7 stars 2 forks source link

Open DavePearce opened 9 years ago

DavePearce commented 9 years ago

There is no section in chapter 6 "Expressions" for the type test operator is.