Articles

  • No categories

Documentation

Getting Started with Whiley.  A short introduction to the Whiley language, aimed at getting people up and running quickly.  Currently, this document is a DRAFT and does not cover all aspects of the language. [PDF]
[LaTeX]
Whiley Cheat Sheet. This document provides a very quick overview of the Whiley language. Currently, this document is a DRAFT and does not cover all aspects of the language. [PDF]
[LaTeX]
Whiley Language Specification.  This document provides a comprehensive account of the Whiley language available.  Currently, this document is a DRAFT and does not cover all aspects of the language. [PDF]
[LaTeX]