Table of Contents Getting started SaC 1.0 SaC Stdlib 1.3.0 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.