Fix unbalanced parenthesises.

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

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index ef2533e3bf80f008601ae9b5a69a47cd22209ccd..04b660b4db682bc889bc258cf8c14a58475fbfe0 100644 (file)
--- 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}
         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.
         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.


@@ -788,7 +789,7 @@ acc in s = (s', out)
         variables are used by a function can be completely determined from its
         type signature (as opposed to the stream approach, where a function
         looks the same from the outside, regardless of what state variables it
         variables are used by a function can be completely determined from its
         type signature (as opposed to the stream approach, where a function
         looks the same from the outside, regardless of what state variables it

-        uses (or whether it's stateful at all).
+        uses or whether it's stateful at all).

 
         This approach is the one chosen for Cλash and will be examined more
         closely below.
 
         This approach is the one chosen for Cλash and will be examined more
         closely below.


@@ -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.
 
   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: