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] |