projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
901c988
)
Add missing parenthesis.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Thu, 3 Dec 2009 15:22:16 +0000
(16:22 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Thu, 3 Dec 2009 15:22:16 +0000
(16:22 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
diff --git
a/Chapters/Normalization.tex
b/Chapters/Normalization.tex
index 3d53853a58129f8b8cf90e5a22b8da3f02f75d30..f9a10157970ad68d646a6d5948f697f516af8f23 100644
(file)
--- 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
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,
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}
\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
\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