From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 3 Dec 2009 15:22:16 +0000 (+0100)
Subject: Add missing parenthesis.
X-Git-Tag: final-thesis~113
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=4b177f0eea59d8cc3e9da21a078583260d9f79c9;p=matthijs%2Fmaster-project%2Freport.git

Add missing parenthesis.
---

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 3d53853..f9a1015 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1647,7 +1647,7 @@
         
         This propagation makes higher order values become applied (in
         particular both of the alternatives of the case now have a
-        representable type. Completely applied top level functions (like the
+        representable type). Completely applied top level functions (like the
         first alternative) are now no longer invalid (they fall under
         \in{item}[item:completeapp] above). (Completely) applied lambda
         abstractions can be removed by β-abstraction. For our example,
@@ -1945,7 +1945,6 @@
 
         \todo{Examples. Perhaps reference the previous sections}
 
-
   \section{Unsolved problems}
     The above system of transformations has been implemented in the prototype
     and seems to work well to compile simple and more complex examples of