From c4a886010958b6ac7e0744ab6803cfec85b8d3a4 Mon Sep 17 00:00:00 2001
From: Andrey Mokhov <andrey.mokhov@gmail.com>
Date: Fri, 8 Nov 2019 00:54:57 +0000
Subject: [PATCH] Minor tweaks

---
 papers/jfp/1-intro.tex      |  5 +++--
 papers/jfp/2-background.tex |  2 +-
 papers/jfp/9-related.tex    | 11 ++++++-----
 3 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/papers/jfp/1-intro.tex b/papers/jfp/1-intro.tex
index a5aca2a..6f38ee9 100644
--- a/papers/jfp/1-intro.tex
+++ b/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})
diff --git a/papers/jfp/2-background.tex b/papers/jfp/2-background.tex
index 55a2178..2497a26 100644
--- a/papers/jfp/2-background.tex
+++ b/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
diff --git a/papers/jfp/9-related.tex b/papers/jfp/9-related.tex
index f101db1..d7a7c12 100644
--- a/papers/jfp/9-related.tex
+++ b/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}