[Git][monnier/typer][report/tcvi] Fix typos
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/f58dee2620b7bb806e7fa8cadee3d9784365... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Nathaniel