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:
bff5a59
)
Fix two references.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Tue, 1 Dec 2009 19:55:06 +0000
(20:55 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Tue, 1 Dec 2009 19:55:06 +0000
(20:55 +0100)
Chapters/Normalization.tex
patch
|
blob
|
history
diff --git
a/Chapters/Normalization.tex
b/Chapters/Normalization.tex
index fbad0ea11f481bdf1b0c061ea92c0f0b2fea7895..db743fc9a049d716c931747ca7cb09180723980a 100644
(file)
--- a/
Chapters/Normalization.tex
+++ b/
Chapters/Normalization.tex
@@
-1610,8
+1610,7
@@
simply inline the let bindings that have a polymorphic type,
which should (eventually) make sure that the polymorphic
expression is applied to a type and/or dictionary, which can
simply inline the let bindings that have a polymorphic type,
which should (eventually) make sure that the polymorphic
expression is applied to a type and/or dictionary, which can
- \refdef{beta-reduction}
- then be removed by β-reduction.
+ then be removed by β-reduction (\in{section}[sec:normalization:beta]).
Since both type and dictionary arguments are not representable,
\refdef{representable}
Since both type and dictionary arguments are not representable,
\refdef{representable}
@@
-1713,7
+1712,7
@@
η-abstraction also introduces extra applications (the application of
the let expression to \lam{q} in the above example). These
applications can then propagated down by the application propagation
η-abstraction also introduces extra applications (the application of
the let expression to \lam{q} in the above example). These
applications can then propagated down by the application propagation
- transformation (\in{section}[sec:normalization:approp]). In our
+ transformation (\in{section}[sec:normalization:app
p
rop]). In our
example, the \lam{q} and \lam{r} variable will be propagated into the
let expression and then into the case expression:
example, the \lam{q} and \lam{r} variable will be propagated into the
let expression and then into the case expression: