From 392c9959708548674d4955be85f937d30959da7d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Feb 2017 08:54:42 -0500 Subject: [PATCH] Typo fix (#17) --- frap_book.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frap_book.tex b/frap_book.tex index 69fe74f..ce446f6 100644 --- a/frap_book.tex +++ b/frap_book.tex @@ -424,7 +424,7 @@ For example, recall that our definition of expression size included this clause. \end{eqnarray*} Now imagine that we are trying to prove this formula. $$\size{\mathsf{Plus}(e, \mathsf{Const}(7))} = 2 + \size{e}$$ -We may apply the defining equation to rewrite into a different formula, where we have essential pushed the definition of $\size{\cdot}$ through the $\mathsf{Plus}$. +We may apply the defining equation to rewrite into a different formula, where we have essentially pushed the definition of $\size{\cdot}$ through the $\mathsf{Plus}$. $$1 + \size{e} + \size{\mathsf{Const}(7)} = 2 + \size{e}$$ Another application of a different defining equation, this time for $\mathsf{Const}$, takes us to here. $$1 + \size{e} + 1 = 2 + \size{e}$$