X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;h=9e4061c9a4d059ee7fd8182c9d1e04565ecf94df;hp=ddce85dedbbc147263b481f42eff8408a924caf7;hb=7095d53c2ec805554837714da3df3a458ebfb2bb;hpb=d3656f7210afe8b98cb1d8eb3f2fa793f94b3953

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index ddce85d..9e4061c 100644
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -244,7 +244,7 @@ and3 a b c = and (and a b) c
         the prototype, which uses \emph{type families}.
       \stopdesc
 
-      TODO: Reference Christiaan
+      TODO: Reference Christiaan / describe dependent typing
     \subsection{User-defined types}
       There are three ways to define new types in Haskell: Algebraic
       datatypes with the \hs{data} keyword, type synonyms with the \hs{type}