formalism: Add title

hazelgrove · Oct 10, 2023 · 53f3d3b · 53f3d3b
1 parent 5d37ee3
commit 53f3d3b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/formalism/formalism.tex b/formalism/formalism.tex
@@ -3,7 +3,12 @@
 \input{preamble/preamble}
 \usepackage{subfiles}
 
+\title{Total Type Error Localization and Recovery with Holes}
+\date{}
+
 \begin{document}
+\maketitle
+
 \tableofcontents
 \newpage
 

diff --git a/formalism/preface.tex b/formalism/preface.tex
@@ -23,8 +23,8 @@ \subsection{Organization}
   \item \cref{sec:typed} is similar, except that it employs the marking procedure in a roughly
     incremental fashion.
 
-  \item \cref{sec:constraint} gives the rules for constraint generation in relation to the type hole
-    inference work of Section 4.
+  \item \cref{sec:constraint} additionally gives the rules for constraint generation in relation to
+    the type hole inference work of Section 4.
 \end{itemize}
 %
 Note that each of the sections following \cref{sec:marked} build upon that same core language.