Introducing the Whiley Cheat Sheet!

Recently, I created a Whiley Cheat Sheet for use in our SWEN224 course and I thought it was useful enough to share! The goal of the cheat sheet is to provide some simple examples to help you get going, rather than provide a comprehensive reference. I tried to cram as much as I could onto one piece of paper …

If you want to quickly try out some examples, head on over to WhileyLabs where you can edit and run Whiley programs in your browser. Finally, the cheat sheet will live under “documentation” with the other documents I’m working on. You can also get the latex source on GitHub.