edits

book.tex

@@ -4569,7 +4569,7 @@ inside each other; they can only be defined at the top level.
 \begin{array}{lcl}
   \Type &::=& \ldots \mid (\Type^{*} \; \key{->}\; \Type) \\
   \Exp &::=& \ldots \mid (\Exp \; \Exp^{*}) \\
-  \Def &::=& (\key{define}\; (\Var \; [\Var \key{:} \Type]^{*} \key{:} \Type \; \Exp)) \\
+  \Def &::=& (\key{define}\; (\Var \; [\Var \key{:} \Type]^{*}) \key{:} \Type \; \Exp) \\
   R_4 &::=& (\key{program} \; \Def^{*} \; \Exp)
 \end{array}
 \]
@@ -4592,7 +4592,6 @@ that does what its name suggests. The program then applies
 \begin{figure}[tbp]
 \begin{lstlisting}
 (program
-  (defines
   (define (map-vec [f : (Integer -> Integer)]
                      [v : (Vector Integer Integer)])
           : (Vector Integer Integer)