From: Matthijs Kooijman Date: Wed, 9 Dec 2009 09:24:39 +0000 (+0100) Subject: Improve layout and add citation. X-Git-Tag: final-thesis~12 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=5dea64a7f82a48e12374ad7a78f115f4252d6720;p=matthijs%2Fmaster-project%2Freport.git Improve layout and add citation. --- 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