summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--transp-inf110-02-typage.tex2
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