From: Matthijs Kooijman 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