Stefan pushed to branch report/jfla-2019 at Stefan / Typer
Commits: 17a8e0c1 by Stefan Monnier at 2018-10-25T15:53:50Z -
- - - - -
1 changed file:
- paper.tex
Changes:
===================================== paper.tex ===================================== @@ -995,6 +995,8 @@ discussed by Fruchart and Longo in~\cite{Fruchart96}.
\section{Related work}
+%% FIXME: re-order! + %% FIXME: Shorten, and then add things: %% F-star? ATS?
@@ -1227,8 +1229,7 @@ While it has not been officially released yet, its code can be found at
\newcommand \grantsponsor[3] {#2 (#1)} \newcommand \grantnum[2] {#2} - -\section*{Acknowledgments} +\subsection*{Acknowledgments} This work was supported by the \grantsponsor{NSERC}{Natural Sciences and Engineering Research Council of Canada}{http://nserc-crsng.gc.ca/%7D grant N$^o$~\grantnum{NSERC}{298311/2012}. Any opinions, findings, and
View it on GitLab: https://gitlab.com/monnier/typer/commit/17a8e0c144781e4fe5ddd76fdef03a01ed1f...