Adam Barth 66ec3424c6 Add a --checked argument to sky_tool start
The --checked argument runs SkyShell in checked mode, which turns on type
checking and asserts.
2015-08-07 13:18:38 -07:00
..