Articles

Eclipse Plugin v0.1.1 Released

After the recent release of Whiley v0.3.22 which updated the language syntax, I have now updated the Eclipse plugin accordingly.  See this page for more on installing the plugin from within Eclipse.

Whiley v0.3.22 Released!

The next release of Whiley is now available. This implements some significant changes to the language syntax, as discussed in this post and this post. Although the migration towards this new syntax is not fully complete, it is largely working well. Specifically, the main changes in this release are:

Draft Language Specification.  Perhaps one . . . → Read More: Whiley v0.3.22 Released!