X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=0033c054be02cb8ad120600d4ae39b3709275ec1;hp=317e2dc774589ec5f2c877dc19f334bf4367e296;hb=5dea64a7f82a48e12374ad7a78f115f4252d6720;hpb=1f7da57279ce037054198cb09402dcc5f1ac913e

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 317e2dc..0033c05 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -249,8 +249,6 @@
     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;
@@ -281,6 +279,9 @@
     \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.
@@ -487,8 +488,7 @@
       \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