Documentation

Last modified on August 27th, 2014

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]

Whiley