The latest release is upon us, after a short break whilst I was holidaying in Europe! This includes a few simple bug fixes and updates (see #433 and #392), along with one significant feature:
Improved Context Information for Verification Errors (#435). When a verification error occurred, it was often difficult to tell which part . . . → Read More: Whiley v0.3.31 Released!