Improve layout and add citation.

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

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 317e2dc774589ec5f2c877dc19f334bf4367e296..0033c054be02cb8ad120600d4ae39b3709275ec1 100644 (file)
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -249,8 +249,6 @@
     handled). This problem is further discussed in
     \in{section}[sec:normalization:stateproblems].
     
     handled). This problem is further discussed in
     \in{section}[sec:normalization:stateproblems].
     

-    The final prototype roughly consists of three steps:
-    

     \startuseMPgraphic{clash-pipeline}
       % Create objects
       save inp, front, norm, vhdl, out;
     \startuseMPgraphic{clash-pipeline}
       % Create objects
       save inp, front, norm, vhdl, out;


@@ -281,6 +279,9 @@
     \stopuseMPgraphic
     \placefigure[right]{Cλash compiler pipeline}{\startboxed \useMPgraphic{clash-pipeline}\stopboxed}
 
     \stopuseMPgraphic
     \placefigure[right]{Cλash compiler pipeline}{\startboxed \useMPgraphic{clash-pipeline}\stopboxed}
 

+    The final prototype roughly consists of three steps:
+
+    \page[no] % suppress page break here.

     \startdesc{Frontend}
       This is exactly the front-end from the \small{GHC} pipeline, that
       translates Haskell sources to a typed Core representation.
     \startdesc{Frontend}
       This is exactly the front-end from the \small{GHC} pipeline, that
       translates Haskell sources to a typed Core representation.


@@ -487,8 +488,7 @@
       \stopalignment
       \blank[medium]
         An expression is in weak head normal form if it is either an
       \stopalignment
       \blank[medium]
         An expression is in weak head normal form if it is either an

-        constructor application or lambda abstraction. \todo{How about
-        atoms?}
+        constructor application or lambda abstraction. \cite[jones87]

 
         Without going into detail about the differences with head
         normal form and normal form, note that evaluating the scrutinee
 
         Without going into detail about the differences with head
         normal form and normal form, note that evaluating the scrutinee