Fix two references.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 20:09:01 +0000 (21:09 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 20:09:01 +0000 (21:09 +0100)
Chapters/Normalization.tex

index 4e00759..ca84ed1 100644 (file)
 
         \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