Try our tutorial or download it as tutorial.pdf.

If you prefer some informal text without hands-on experience, visit our SaC overview.

• The syntax definition can be downloaded as syntax.pdf. It provides the EBNF as it should be supported by the current compiler.
• The language manual can be downloaded as manual.pdf. It relates the formal syntax to a formal semantics. This includes a big-step semantics of the language core as well as formal descriptions of the de-sugaring process.

Our current standard library can be browsed or downloaded as stdlib.pdf.