paper: write abstract

final/main.tex

@@ -45,6 +45,17 @@
 \begin{document}
 \maketitle
 
+\begin{abstract}
+  This paper presents a design for functionally pure, fully polymorphic iterative programming in the
+  ML discipline. We begin with the specification of a small language built to distill Standard ML,
+  on which the subsequent research builds. From there, we present the desired design for writing
+  iterative programs, and identify the support of both type classes and associated types as
+  necessary to enable such a design. We then formalize both requirements as they relate to our small
+  language, and conclude by formalizing the design for iteration. Advised by Adam Shaw.
+\end{abstract}
+
+% gobble page number for title
+\thispagestyle{empty}
 \newpage
 \begin{table}
   \renewcommand{\arraystretch}{3.5}