WhileyWeb:一个简单的Web IDE，用于使用Web浏览器在计算机上运行Whiley程序

安装 提供了一个简单的Web IDE，使您可以使用Web浏览器在计算机上运行Whiley。 以下屏幕截图说明了： 要设置Web IDE，只需从github克隆WhileyWeb存储库即可： % git clone https://github.com/Whiley/WhileyWeb.git Cloning into 'WhileyWeb'... remote: Counting objects: 220, done. remote: Compressing objects: 100% (5/5), done. remote: Total 220 (delta 0), reused 4 (delta 0), pack-reused 213 Receiving objects: 100% (220/220), 5.98 MiB | 163.00 KiB/s, done. Resolvin