spell check

book.tex

@@ -178,7 +178,8 @@ ISBN:
 
 \dedication{This book is dedicated to Katie, my partner in everything,
   my children, who grew up during the writing of this book, and the
-  programming language students at Indiana University.}
+  programming language students at Indiana University, whose
+  thoughtful questions made this a better book.}
 
 %% \begin{epigraphpage}
 %% \epigraph{First Epigraph line goes here}{Mention author name if any,
@@ -11905,7 +11906,7 @@ variable, such as \code{free\_ptr}.
   The type information that you need for \CALLOCATE{$n$}{$\itm{type}$}
   can be obtained by running the
   \code{type-check-Lvec-has-type} type checker immediately before the
-  \code{expose\_allocation} pass. This version fo the type checker
+  \code{expose\_allocation} pass. This version of the type checker
   places a special AST node of the form $(\key{HasType}~e~\itm{type})$
   around each tuple creation. The concrete syntax
     for \code{HasType} is \code{has-type}.}
@@ -22684,5 +22685,8 @@ registers.
 % LocalWords:  TupleProxy RawTuple InjectTuple InjectTupleProxy vecof
 % LocalWords:  InjectList InjectListProxy unannotated Lgradualr poly
 % LocalWords:  GenericVar AllType Inst builtin ap pps aps pp deepcopy
-% LocalWords:  liskov clu Liskov dk Napier um inst popl jg seq
-% LocalWords:  racketEd
+% LocalWords:  liskov clu Liskov dk Napier um inst popl jg seq ith
+% LocalWords:  racketEd subparts subpart nonterminal nonterminals
+% LocalWords:  pseudocode underapproximation underapproximations
+% LocalWords:  semilattices overapproximate incrementing
+% LocalWords:  multilanguage