QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

fix: output of notation list

Browse Source
This commit is contained in:
marc0olo 2021-07-27 16:42:46 +02:00
parent f7cf80529c
commit e9957b535a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/sophia_syntax.md
View File

@ -69,6 +69,7 @@ contract Layout =
## Notation ## Notation
In describing the syntax below, we use the following conventions: In describing the syntax below, we use the following conventions:
- Upper-case identifiers denote non-terminals (like `Expr`) or terminals with - Upper-case identifiers denote non-terminals (like `Expr`) or terminals with
some associated value (like `Id`). some associated value (like `Id`).
- Keywords and symbols are enclosed in single quotes: `'let'` or `'='`. - Keywords and symbols are enclosed in single quotes: `'let'` or `'='`.