From a90f2fd3a67115703235766f1dcebc66cf3b300d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 22 Jan 2024 13:08:29 +0100
Subject: Typo.

---
 transp-inf110-02-typage.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3