Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
docs:main [2017/03/24 17:19]
hnv [SaC 1.0]
docs:main [2018/07/05 15:20] (current)
tema [SaC 1.0]
Line 8: Line 8:
 ====== 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 ======