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

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index 20c43e3..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.