diff --git a/paper/gtt.tex b/paper/gtt.tex index 667b23539ff030ce894991e7589367bfa7a76286..a2f11a7afab5624832446a3bc518ff85074c9fa6 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}