https://whiley.org/2022-06-27T00:00:00+00:00https://whiley.org/news/2022-06-27T00:00:00+00:00https://whiley.org/2022/06/27/whiley-v0.6.1-released/2022-06-27T00:00:00+00:00https://whiley.org/2021/06/24/whiley-v0.5.3-released/2021-06-24T00:00:00+00:00https://whiley.org/2020/07/07/whiley-v0.5.0-released/2020-07-07T00:00:00+00:00https://whiley.org/2018/04/11/whiley-v0.4.2.-released/2018-04-11T00:00:00+00:00https://whiley.org/install/2017-10-13T20:31:39-05:00https://whiley.org/learn/2017-10-13T20:31:39-05:00https://whiley.org/play/2017-10-13T20:31:39-05:00https://whiley.org/2017/08/24/web-ide-gets-a-face-lift/2017-08-24T00:00:00+00:00https://whiley.org/2017/08/03/whiley-v0.4.1-released/2017-08-03T00:00:00+00:00https://whiley.org/2016/11/24/whiley-v0.4.0-released/2016-11-24T00:00:00+00:00https://whiley.org/2016/05/28/whiley-v0.3.40-released/2016-05-28T00:00:00+00:00https://whiley.org/2016/03/11/whiley-v0.3.39-released/2016-03-11T00:00:00+00:00https://whiley.org/2016/01/29/whiley-v0.3.38-released/2016-01-29T00:00:00+00:00https://whiley.org/2015/12/17/whiley-v0.3.37-released/2015-12-17T00:00:00+00:00https://whiley.org/2015/09/10/whiley-v0.3.36-released/2015-09-10T00:00:00+00:00https://whiley.org/2015/06/19/whiley-v0.3.35-released/2015-06-19T00:00:00+00:00https://whiley.org/2015/06/05/whiley-v0.3.34-released/2015-06-05T00:00:00+00:00https://whiley.org/2015/04/08/whiley-v0.3.33-released/2015-04-08T00:00:00+00:00https://whiley.org/2015/02/25/whiley-v0.3.32-released/2015-02-25T00:00:00+00:00https://whiley.org/2015/01/06/looking-forward-to-2015/2015-01-06T00:00:00+00:00https://whiley.org/2014/10/09/whiley-v0.3.31-released/2014-10-09T00:00:00+00:00https://whiley.org/2014/09/05/whiley-v0.3.30-released/2014-09-05T00:00:00+00:00https://whiley.org/2014/09/01/whiley-v0.3.29-released/2014-09-01T00:00:00+00:00https://whiley.org/2014/08/28/introducing-the-whiley-cheat-sheet/2014-08-28T00:00:00+00:00https://whiley.org/2014/08/22/whiley-v0.3.28-released/2014-08-22T00:00:00+00:00https://whiley.org/2014/08/14/whiley-v0.3.27-released/2014-08-14T00:00:00+00:00https://whiley.org/2014/07/25/whiley-v0.3.26-released/2014-07-25T00:00:00+00:00https://whiley.org/2014/06/09/whiley-v0.3.25-released/2014-06-09T00:00:00+00:00https://whiley.org/2014/05/07/whiley-v0.3.24-released/2014-05-07T00:00:00+00:00https://whiley.org/2014/03/28/whiley-v0.3.23-released/2014-03-28T00:00:00+00:00https://whiley.org/2014/02/17/eclipse-plugin-v0.1.1-released/2014-02-17T00:00:00+00:00https://whiley.org/2014/02/15/whiley-v0.3.22-released/2014-02-15T00:00:00+00:00https://whiley.org/2013/12/19/proposed-syntax-changes-for-whiley/2013-12-19T00:00:00+00:00https://whiley.org/2013/11/29/eclipse-plugin-v0.1.0-released/2013-11-29T00:00:00+00:00https://whiley.org/2013/10/27/whiley-v0.3.21-released/2013-10-27T00:00:00+00:00https://whiley.org/2013/08/16/whiley-v0.3.20-released/2013-08-16T00:00:00+00:00https://whiley.org/2013/05/06/whiley-v0.3.19-released/2013-05-06T00:00:00+00:00https://whiley.org/2013/01/11/whiley-v0.3.18-released/2013-01-11T00:00:00+00:00https://whiley.org/2012/12/07/whiley-v0.3.17-released/2012-12-07T00:00:00+00:00https://whiley.org/2012/11/19/the-whiley-project-on-ohloh/2012-11-19T00:00:00+00:00https://whiley.org/2012/08/06/reflecting-on-the-jvm-class-file-format/2012-08-06T00:00:00+00:00https://whiley.org/2012/07/31/whiley-v0.3.16-released/2012-07-31T00:00:00+00:00https://whiley.org/2012/05/28/illustrating-compile-time-verification-in-whiley/2012-05-28T00:00:00+00:00https://whiley.org/2012/05/25/whiley-v0.3.15-released/2012-05-25T00:00:00+00:00https://whiley.org/2012/03/07/whiley-v0.3.14-released/2012-03-07T00:00:00+00:00https://whiley.org/2012/02/13/design-of-the-whiley-compiler-wyc-front-end/2012-02-13T00:00:00+00:00https://whiley.org/2012/01/24/whiley-v0.3.13-released/2012-01-24T00:00:00+00:00https://whiley.org/2011/12/22/whiley-talk-at-wellington-jug-video/2011-12-22T00:00:00+00:00https://whiley.org/2011/12/02/whiley-v0.3.12-released/2011-12-02T00:00:00+00:00https://whiley.org/2011/11/01/not-all-tests-are-passing-...-is-that-so-bad/2011-11-01T00:00:00+00:00https://whiley.org/2011/10/28/whiley-v0.3.11-released/2011-10-28T00:00:00+00:00https://whiley.org/2011/10/12/whiley-gets-funding/2011-10-12T00:00:00+00:00https://whiley.org/2011/09/21/whiley-v0.3.10-released/2011-09-21T00:00:00+00:00https://whiley.org/2011/09/20/the-whiley-automata-library-wyautl/2011-09-20T00:00:00+00:00https://whiley.org/2011/08/15/whiley-v0.3.9-released/2011-08-15T00:00:00+00:00https://whiley.org/2011/08/01/whiley-v0.3.8-released/2011-08-01T00:00:00+00:00https://whiley.org/2011/07/26/the-state-of-whiley/2011-07-26T00:00:00+00:00https://whiley.org/2011/07/07/whiley-v0.3.7-released/2011-07-07T00:00:00+00:00https://whiley.org/2011/06/26/whiley-v0.3.6-released/2011-06-26T00:00:00+00:00https://whiley.org/2011/05/22/whiley-on-twitter/2011-05-22T00:00:00+00:00https://whiley.org/2011/05/08/whiley-v0.3.5-released/2011-05-08T00:00:00+00:00https://whiley.org/2011/04/26/whiley-v0.3.4-released/2011-04-26T00:00:00+00:00https://whiley.org/2011/02/14/whiley-v0.3.3-released/2011-02-14T00:00:00+00:00https://whiley.org/2010/12/16/whiley-v0.3.2-released/2010-12-16T00:00:00+00:00https://whiley.org/2010/11/24/whiley-on-github/2010-11-24T00:00:00+00:00https://whiley.org/2010/11/03/whiley-v0.3.1-released/2010-11-03T00:00:00+00:00https://whiley.org/2010/09/23/whiley-gets-a-while-loop/2010-09-23T00:00:00+00:00https://whiley.org/2010/08/14/short-whiley-demo-video/2010-08-14T00:00:00+00:00https://whiley.org/2010/07/25/whiley-v0.2.9-released/2010-07-25T00:00:00+00:00https://whiley.org/2010/07/10/whiley-v0.2.8-released/2010-07-10T00:00:00+00:00https://whiley.org/2010/06/25/whiley-at-dagstuhl/2010-06-25T00:00:00+00:00https://whiley.org/2010/06/24/whiley-v0.2.7-released/2010-06-24T00:00:00+00:00https://whiley.org/2010/06/13/an-overview-of-whileys-testing-framework/2010-06-13T00:00:00+00:00https://whiley.org/2010/06/07/whiley-compiler-status-update/2010-06-07T00:00:00+00:00https://whiley.org/categories/https://whiley.org/tags/