[Git][monnier/typer][report/tcvi] -
Stefan pushed to branch report/tcvi at Stefan / Typer Commits: e992a4b6 by Stefan Monnier at 2018-11-13T14:15:02Z - - - - - - 1 changed file: - paper.tex Changes: ===================================== paper.tex ===================================== @@ -1134,6 +1134,9 @@ types without breaking consistency. \newcommand \grantsponsor[3] {#2 (#1)} \newcommand \grantnum[2] {#2} \begin{acks} + Thanks to Nathaniel who completed an earlier version of the proof + of erasability of impredicative arguments in CCω. + 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/e992a4b673bd9023be104be0c572e1b53e45... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/e992a4b673bd9023be104be0c572e1b53e45... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan