From this page, you can run Whiley programs in your browser! For more on Whiley, visit whiley.org.

import whiley.lang.System method main(System.Console console): console.out.println_s("Hello World")
Enable Verification