diff options
| -rw-r--r-- | transp-inf110-02-typage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index c93a812..1368bc0 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -4755,7 +4755,7 @@ typé obtenu en retirant toutes les annotations de type : p.ex. f(\lambda(h:\alpha\to\beta).hx) \] de type $\alpha \to ((\alpha\to\beta)\to\beta)\to\gamma \to \gamma$ se -désannote en $\lambda xf.\, f(\lambda .hx)$. +désannote en $\lambda xf.\, f(\lambda h.hx)$. \medskip |