X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=ff24bb001403c3a339546c4cb93b074c8b84f406;hp=8f94251fed433806e00813cc2c07c0d6598a2d17;hb=28b745e6faf774843ecdfbce67bdd22b8b4fc550;hpb=da71f3b1624b714c10ceaafb08d67f06fa7acd79

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 8f94251..ff24bb0 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -678,6 +678,7 @@
       support.
 
       \placeintermezzo{}{
+        \defref{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
-        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.