Articles

Whiley v0.3.32 released!

Well, it is with some trepidation that I have released the next version of Whiley. This incorporates a very large number of changes and, unfortunately, should be considered extremely unstable at this time (at least, from the perspective of verification). In particular, the main list of changes includes:

Updated syntax for function and method . . . → Read More: Whiley v0.3.32 released!