overvolle hboxen opruimen

diff --git a/deliverables/report/gen.tex b/deliverables/report/gen.tex
index 1227380..17dacc0 100644 (file)
--- a/deliverables/report/gen.tex
+++ b/deliverables/report/gen.tex
@@ -66,8 +66,8 @@ main(){ var a = plus(3, 4); }
 \subsection{Generation}
 The code generation phase transforms a well typed \AST{} to either an error,
 or a \tt{SSMProgram}. The latter is a list of labels and instructions. The
-generation happens within a
-\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a}
+generation happens within a\\
+\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a}\\
 environment. Which we have implemented as a \tt{RWST} with \tt{()} for the
 reading environment. In this \tt{Addressbook} is a simple map from
 identifiers to \tt{Address}, which in turn is either a label to jump to or an

diff --git a/deliverables/report/sem.tex b/deliverables/report/sem.tex
index e40e86b..cfb7cfb 100644 (file)
--- a/deliverables/report/sem.tex
+++ b/deliverables/report/sem.tex
@@ -27,7 +27,8 @@ compiler phase, and if more transformations are needed in the future these will
 be placed in a separate phase.
 
 The implementation of lambdas in \SPLC{} is implemented through a clever trick.
-All \tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This
+All \\
+\tt{LambdaExpressions} in the \AST{} are lifted to actual functions. This
 transformation is illustrated in Listing~\ref{lst:lambdaLift}. This
 has the advantage that, with our support for higher order functions, lambda
 functions do not require any special attention after this transformation. One