summaryrefslogtreecommitdiff
path: root/chapter02/docs
diff options
context:
space:
mode:
Diffstat (limited to 'chapter02/docs')
-rw-r--r--chapter02/docs/02-grammar.md10
-rw-r--r--chapter02/docs/02-lattice.gv2
2 files changed, 6 insertions, 6 deletions
diff --git a/chapter02/docs/02-grammar.md b/chapter02/docs/02-grammar.md
index 1a1e1239..ce875eda 100644
--- a/chapter02/docs/02-grammar.md
+++ b/chapter02/docs/02-grammar.md
@@ -14,11 +14,11 @@ statement
expression
: additiveExpression
;
-
+
additiveExpression
- : multiplicativeExpression (('+' | '-') multiplicativeExpression)*
+ : multiplicativeExpression (('+' | '-') multiplicativeExpression)*
;
-
+
multiplicativeExpression
: unaryExpression (('*' | '/') unaryExpression)*
;
@@ -36,5 +36,5 @@ primaryExpression
INTEGER_LITERAL
: [1-9][0-9]*
| [0]
- ;
-``` \ No newline at end of file
+ ;
+```
diff --git a/chapter02/docs/02-lattice.gv b/chapter02/docs/02-lattice.gv
index 57f14d77..4faa0e11 100644
--- a/chapter02/docs/02-lattice.gv
+++ b/chapter02/docs/02-lattice.gv
@@ -3,7 +3,7 @@ digraph Lattice {
node [shape=circle, style=filled, fillcolor=lightblue];
Top [label="⊤"];
Bottom [label="⊥"];
-
+
A [label="MIN_INT"];
B [label="..." shape=none style=none];
C [label="-1"];