Fix references.

[matthijs/master-project/report.git] / Chapters / Prototype.tex

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 8f94251fed433806e00813cc2c07c0d6598a2d17..ff24bb001403c3a339546c4cb93b074c8b84f406 100644 (file)
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -678,6 +678,7 @@
       support.
 
       \placeintermezzo{}{
       support.
 
       \placeintermezzo{}{

+        \defref{id function}

         \startframedtext[width=8cm,background=box,frame=no]
         \startalignment[center]
           {\tfa The \hs{id} function}
         \startframedtext[width=8cm,background=box,frame=no]
         \startalignment[center]
           {\tfa The \hs{id} function}


@@ -795,7 +796,7 @@
         A predicate type introduces a constraint on a type variable introduced
         by a forall type (or type lambda). In the example above, the type
         variable \lam{t} can only contain types that are an \emph{instance} of
         A predicate type introduces a constraint on a type variable introduced
         by a forall type (or type lambda). In the example above, the type
         variable \lam{t} can only contain types that are an \emph{instance} of

-        the \emph{type class} \lam{Show}. \refdef{type class}
+        the \emph{type class} \lam{Show}.

 
         There are other sorts of predicate types, used for the type families
         extension, which we will not discuss here.
 
         There are other sorts of predicate types, used for the type families
         extension, which we will not discuss here.