From cd092114774c08a4c8fc3b89d65e4e1a3da73fdc Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Mon, 29 Oct 2018 18:03:55 -0400
Subject: [PATCH] author-year citations are required :/
---
paper/gtt.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/paper/gtt.tex b/paper/gtt.tex
index 667b235..a2f11a7 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -66,7 +66,7 @@
%% Citation style
%% Note: author/year citations are required for papers published as an
%% issue of PACMPL.
-% \citestyle{acmauthoryear} %% For author/year citations
+\citestyle{acmauthoryear} %% For author/year citations
\setcitestyle{nosort}
\title{Gradual Type Theory}
@@ -9756,7 +9756,7 @@ structure~\cite{ahman+16fiberedeffects}.
%% recursive types, polymorphism, and state, where both equational
%% reasoning and gradualization are more difficult.
-\newpage
+%% \newpage
\paragraph{Acknowledgements}
--
GitLab