Nathaniel pushed to branch report/tcvi at Stefan / Typer

Commits: f58dee26 by nbos at 2019-02-20T20:24:18Z Fix typos

- - - - -

1 changed file:

- paper.tex

Changes:

===================================== paper.tex ===================================== @@ -152,7 +152,7 @@ Université de Montréal - DIRO \ \email{monnier@iro.umontreal.ca} \and - McGill University - SCS \ + McGill University - SOCS \ \email{nathaniel.bos@mail.mcgill.ca} }

@@ -690,7 +690,7 @@ as well. \Jcic e \tau} {\Jcic{\Con{i}{e}}{\Subst{a_i}{x}{e}}}

- \Infer{\forall i. \ \Jtype {\tau_1} {\kw{Prop}}} + \Infer{\forall i. \ \Jtype {\tau} {\tau_i} \ \Jtype {\tau_i} {\kw{Prop}}} {\Jsmall {\vec \tau}}

%% Actual typing rules

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