[Git][monnier/typer][report/jfla-2019] -
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/} grant N$^o$~\grantnum{NSERC}{298311/2012}. Any opinions, findings, and View it on GitLab: https://gitlab.com/monnier/typer/commit/17a8e0c144781e4fe5ddd76fdef03a01ed1f... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/17a8e0c144781e4fe5ddd76fdef03a01ed1f... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan