Minor tweaks

papers/jfp/1-intro.tex

@@ -48,8 +48,9 @@ \section{Introduction}\label{sec-intro}
 
 \item Moreover, we can readily remix the ingredients to design new build systems
 with desired properties, for example, to combine the advantages of \Shake and
-\Bazel. Writing this paper gave us the insights to combine dynamic dependencies and
-cloud build in a principled way; we evaluate the result~(\S\ref{sec-experience}).
+\Bazel. Writing this paper gave us the insights to combine dynamic dependencies
+and cloud build systems in a principled way; we evaluate the result
+in~\S\ref{sec-experience}.
 
 \item We can use the presented abstractions to more clearly explain details from
 the original \Shake paper~(\S\ref{sec-step-traces}, \S\ref{sec-experience-shake})

papers/jfp/2-background.tex

@@ -99,7 +99,7 @@ \subsection{The Venerable \Make: Static Dependencies and File Modification Times
 \noindent
 This property is tightly linked to build system \emph{correctness}, which we
 will be ready to define in~\S\ref{sec-build-correctness}; for now, we will use
-minimality as the guiding principle when exploring the design space of build
+minimality as a guiding principle when exploring the design space of build
 systems.
 
 To achieve minimality \Make relies on two main ideas: (i) it uses \emph{file

papers/jfp/9-related.tex

@@ -62,7 +62,7 @@ \subsection{Other Build Systems}\label{sec-related-build}
 \end{minted}
 \vspace{1mm}
 
-\noindent
+% \noindent
 To achieve minimality, each separate command is traced at the OS-level, allowing
 \Fabricate to record a trace entry stating that \cmd{gcc -c util.c} reads from
 \cmd{util.c}. In future runs \Fabricate runs the script from start to finish,
@@ -144,10 +144,11 @@ \subsection{Memoization}\label{sec-related-memo}
     bj <- fetch (B j)
     if ai == bj
         then fetch (C (i - 1) (j - 1))
-        else do insert  <- fetch (C  i      (j - 1))
-                delete  <- fetch (C (i - 1)  j     )
-                replace <- fetch (C (i - 1) (j - 1))
-                return (1 + minimum [insert, delete, replace])
+        else do
+            insert  <- fetch (C  i      (j - 1))
+            delete  <- fetch (C (i - 1)  j     )
+            replace <- fetch (C (i - 1) (j - 1))
+            return (1 + minimum [insert, delete, replace])
 editDistance _ = Nothing
 \end{minted}
 \vspace{1mm}