The CommaSuite language
General remarks:
-
Comments can be inserted after "//" or between "/* … */". When a comment "/* Text */" is placed before a definition (e.g., of a state or a type) then this Text is shown when hovering above a use of the definition (e.g., state name of name of the type).
-
The escape character is '^'. It should be used before names that duplicate CommaSuite keywords, e.g. ^type.
Main ingredients:
Additional information: