From: Matthijs Kooijman Date: Mon, 30 Nov 2009 20:09:01 +0000 (+0100) Subject: Fix two references. X-Git-Tag: final-thesis~135 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=a117295a33890774410292246ae8d21bd2505cf8;p=matthijs%2Fmaster-project%2Freport.git Fix two references. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 4e00759..ca84ed1 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -952,10 +952,10 @@ \transexample{toplevelinline}{Top level binding inlining}{from}{to} - Example \in{ex:trans:toplevelinline} shows a typical application of + \in{Example}[ex:trans:toplevelinline] shows a typical application of the addition operator generated by \GHC. The type and dictionary arguments used here are described in - \in{section:prototype:polymorphism}. + \in{Section}[section:prototype:polymorphism]. Without this transformation, there would be a (+) entity in the architecture which would just add its inputs. This generates a lot of