Merge pull request #37 from chuanwen/new_branch

fix typo: R0 has no - with two args

book.tex

@@ -607,8 +607,7 @@ Appendix~\ref{appendix:utilities} for more details.
 \[
 \begin{array}{rcl}
 \begin{array}{rcl}
-  \Exp &::=& \Int \mid (\key{read}) \mid (\key{-}\;\Exp) \mid (\key{+} \; \Exp\;\Exp)
-        \mid (\key{-}\;\Exp\;\Exp) \\
+  \Exp &::=& \Int \mid (\key{read}) \mid (\key{-}\;\Exp) \mid (\key{+} \; \Exp\;\Exp)\\
   R_0 &::=& \Exp
 \end{array}
 \end{array}