Whiley Documentation

Various documents related to the Whiley programming language and its
implementation (see http://whiley.org for more on Whiley). This
includes:

1. Getting Started with Whiley. A short introduction to the
   Whiley language, aimed at getting people up and running quickly.

2. The Whiley Language Guide. A general introduction to the
   Whiley language, which is not meant as a comprehensive reference
   (the language specification does this).

3. Verifying Programs with Whiley. A short introduction to the
   verification with Whiley, aimed at getting people up and running
   with verification quickly.

4. The Whiley Language Specification. A concise description of
   the language, including a grammar, semantics, typing rules and
   more.

Currently, these documents are all in early draft form.