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/11/25 12:47] – sbs | docs:main [2016/12/15 14:43] – sbs |
|---|
| * 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|}}. |