This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
docs:main [2016/11/25 12:47] – 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 ====== | ====== SaC Stdlib 1.3.0 ====== |
| |
Our current [[docs:stdlib|standard library]] can be browsed or downloaded as {{:docs:stdlib.pdf|}}. | Our current [[docs:stdlib|standard library]] can be browsed or downloaded as {{:docs:stdlib.pdf|}}. |