A TextMate bundle for Frank Pfenning's imperative teaching language C0.
-
features "Compile & Run" (
cc0 -x) and "Load in Interpreter" (coin) -
dynamic checks (contract) enabled by default
-
support for C-like indentation
-
snippets (editor macros) support C0 constructs as well as contracts
-
knows about C0 libraries, their functions, and support types