This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revisionBoth sides next revision |
| docs:main [2017/03/24 18:19] – [SaC 1.0] hnv | docs:main [2018/07/05 16:20] – [SaC 1.0] tema |
|---|
| ====== SaC 1.0 ====== | ====== SaC 1.0 ====== |
| |
| * 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.// | |
| |
| ====== SaC Stdlib 1.3.0 ====== | ====== SaC Stdlib 1.3.0 ====== |