Add some extra outline to the Hardware Description chapter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 30 Oct 2009 10:08:48 +0000 (11:08 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 30 Oct 2009 10:08:48 +0000 (11:08 +0100)
Chapters/Prototype.tex

index e117886..644ce01 100644 (file)
@@ -50,6 +50,9 @@
 
     TODO: Was Haskell really a good choice? Perhaps say this somewhere else?
 
+    \subsection{Output language or format}
+        VHDL / Verilog / EDIF etc. Why VHDL?
+
   \section{Prototype design}
     As stated above, we will use the Glasgow Haskell Compiler (\small{GHC}) to
     implement our prototype compiler. To understand the design of the
@@ -710,9 +713,8 @@ fstint = λa.λb.fst @Int @Int a b
           \subsection[sec:prototype:separate]{Separate compilation}
           - Simplified core?
 
-        Haskell language coverage / constraints
-                Recursion
-                Builtin types
-                Custom types (Sum types, product types)
-                Function types / higher order expressions
-
+  \section{Haskell language coverage and constraints}
+    Recursion
+    Builtin types
+    Custom types (Sum types, product types)
+    Function types / higher order expressions