diff options
| author | David A. Madore <david+git@madore.org> | 2024-01-22 13:08:29 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2024-01-22 13:08:29 +0100 |
| commit | a90f2fd3a67115703235766f1dcebc66cf3b300d (patch) | |
| tree | e0ad09822ff985c1077b1428f7d4af87e21ba682 | |
| parent | 77124fd62650019012c2900b022478ce2fad389a (diff) | |
| download | inf110-lfi-a90f2fd3a67115703235766f1dcebc66cf3b300d.tar.gz inf110-lfi-a90f2fd3a67115703235766f1dcebc66cf3b300d.tar.bz2 inf110-lfi-a90f2fd3a67115703235766f1dcebc66cf3b300d.zip | |
Typo.
| -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 |