|
|||||
|
Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube: The actual demo itself starts around 11:30s, so you might want to skip on to that. The talk was part of a series of talks I did at various locations across . . . → Read More: Whiley Demo @ Oracle Labs!! The web IDE for Whiley is the easiest way to run Whiley, and it’s even better after a little face lift! Here’s the obligatory screenshot: You can run this on your local machine by cloning the Github repo and running ant run from the command-line. For now, you can also try it out . . . → Read More: Web IDE gets a Face Lift! The next release of the Whiley Development Kit is upon us. This is about six months since the last official release and, in the meantime, a lot has been going on! For example, there have been more than ten releases of the Whiley Compiler (WyC) itself on Maven central. The main updates are: RFCs. . . . → Read More: Whiley v0.4.1 released! |
 |
||||
|
Copyright © 2022 David J. Pearce - All Rights Reserved 51 queries. 0.383 seconds. |
|||||
