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/%7D grant N$^o$~\grantnum{NSERC}{298311/2012}. Any opinions, findings, and

View it on GitLab: https://gitlab.com/monnier/typer/commit/e992a4b673bd9023be104be0c572e1b53e45...