X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;h=2f72a8b18d9ebfb4c48968f6a008745524197576;hp=ef2533e3bf80f008601ae9b5a69a47cd22209ccd;hb=d081fa803ef206c6f7ffa72941ca7f008915c69f;hpb=1b9665a243799137f9b3f2b04e13489ba6f66e5e

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index ef2533e..2f72a8b 100644
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -342,6 +342,7 @@ and3 a b c = and (and a b) c
         types) and just one field (which are technically not a product).
       \stopdesc
       \startdesc{Enumerated types}
+        \defref{enumerated types}
         An enumerated type is an algebraic datatype with multiple constructors, but
         none of them have fields. This is essentially a way to get an
         enum-like type containing alternatives.
@@ -1019,3 +1020,5 @@ acc in s = (s', out)
 
   Due to these complications and limited time available, we leave other forms
   of recursion as future work as well.
+
+% vim: set sw=2 sts=2 expandtab: