\documentclass[11pt]{article}

\include{preamble}

\begin{document}

\title{\texttt{slyce}\\
    \normalsize A dependently typed toy language \\
    Types Languages and Compilers, Spring 2023}

\author{Raven Rothkopf\\ \small (\texttt{rgr2124})
    \and 
    Gregory Schare\\ \small (\texttt{gs3072})}

\maketitle
\tableofcontents\newpage
\input{secs/body}

\bibliographystyle{ACM-Reference-Format}
\bibliography{refs}
\end{document}
