Merge branch 'master' of https://github.com/IUCompilerCourse/Essentials-of-Compilation

book.tex

@@ -22,7 +22,7 @@
 
 \def\racketEd{0}
 \def\pythonEd{1}
-\def\edition{0}
+\def\edition{1}
 
 % material that is specific to the Racket edition of the book
 \newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
@@ -7084,7 +7084,7 @@ an assignment statement followed by a $\Tail$ expression, a
 \begin{array}{lcl}
 \Atm &::=& \gray{ \Int \MID \Var } \MID \itm{bool} \\
 \itm{cmp} &::= & \code{eq?} \MID \code{<} \MID \code{<=} \MID \code{>} \MID \code{>=} \\
-\Exp &::=& \gray{ \Atm \MID \key{(read)} \MID \key{(-}~\Atm\key{)} \MID \key{(+}~\Atm~\Atm\key{)} } \\
+\Exp &::=& \gray{ \Atm \MID \key{(read)} \MID \key{(-}~\Atm\key{)} \MID \key{(+}~\Atm~\Atm\key{)} \MID \key{(-}~\Atm~\Atm\key{)} } \\
    &\MID& \LP \key{not}~\Atm \RP \MID \LP \itm{cmp}~\Atm~\Atm\RP \\
 \Stmt &::=& \gray{ \Var~\key{=}~\Exp\key{;} } \\
 \Tail &::= & \gray{ \key{return}~\Exp\key{;} \MID \Stmt~\Tail }