This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revisionBoth sides next revision |
| docs:main [2016/12/15 14:43] – sbs | docs:main [2017/03/24 18:19] – [SaC 1.0] hnv |
|---|
| |
| * The [[docs:syntax|syntax definition]] can be downloaded as {{:docs:syntax.pdf|}}. //It provides the EBNF as it should be supported by the current compiler.// | * The [[docs:syntax|syntax definition]] can be downloaded as {{:docs:syntax.pdf|}}. //It provides the EBNF as it should be supported by the current compiler.// |
| * The [[docs:manual|language manual]] can be downloaded as {{:docs: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.// | * The [[docs:manual|language manual]] can be downloaded as {{:docs: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 ====== | ====== SaC Stdlib 1.3.0 ====== |