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...