final spell check
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:16:43 +0000 (15:16 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:16:43 +0000 (15:16 -0400)
paper/dfopt.tex

index a1f7c41..d788061 100644 (file)
@@ -3526,7 +3526,7 @@ Primitive Redex
 Speculation \cite{runciman:increasing-prs}, a code-improving
 transformation that can create new 
 function definitions? 
-\hoopl's predefined monads don't accomodate any of these actions.
+\hoopl's predefined monads don't accommodate any of these actions.
 By~permitting the client to define the monad~@m@, we~risk the possibility
 that the client may define key operations incorrectly, but we also
 ensure that