This is an old revision of the document!

Getting started

Try our tutorial or download it as tutorial.pdf.

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

SaC 1.0

  • 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.

SaC Stdlib 1.3.0

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