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: