Fix source indentation.

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

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index ddce85dedbbc147263b481f42eff8408a924caf7..9e4061c9a4d059ee7fd8182c9d1e04565ecf94df 100644 (file)
--- 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}