From: Matthijs Kooijman Date: Wed, 2 Dec 2009 15:02:24 +0000 (+0100) Subject: Reference the substitution intermezzo. X-Git-Tag: final-thesis~115 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=0eb8796e904c051f3103e10629dad4a3d13bfec5;p=matthijs%2Fmaster-project%2Freport.git Reference the substitution intermezzo. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index f4156b6..3d53853 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -796,6 +796,7 @@ normal form. \placeintermezzo{}{ + \defref{substitution notation} \startframedtext[width=8cm,background=box,frame=no] \startalignment[center] {\tfa Substitution notation} @@ -888,7 +889,8 @@ This transformation is not needed to get an expression into intended normal form (since these bindings are part of the intended normal form), but makes the resulting \small{VHDL} a lot shorter. - + + \refdef{substitution notation} \starttrans letrec a0 = E0 @@ -1820,6 +1822,7 @@ solves (part of) the polymorphism, higher order values and unrepresentable literals in an expression. + \refdef{substitution notation} \starttrans letrec a0 = E0