Ok, that's got wyc working and wyilc as well
Ok, that's got wyc working and wyilc as well

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler