From 4a9bd795283b80280fe40b8d54fd36eb72b22071 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 28 Nov 2023 10:18:13 +0100
Subject: Alternative notation for multiple lambdas.

---
 transp-inf110-02-typage.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 7b1f031..d05ca00 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -855,8 +855,9 @@ $\sigma_1,\ldots,\sigma_k$ :
 \item « $\rho\to\sigma\to\tau$ » signifie
   « $(\rho\to(\sigma\to\tau))$ » ; « $xyz$ » signifie
   « $((xy)z)$ » ;
-\item on note « $\lambda (x:\sigma,t:\tau).E$ » pour « $\lambda
-  (x:\sigma). \lambda (t:\tau). E$ » ;
+\item {\footnotesize on note « $\lambda (x:\sigma,t:\tau).E$ » ou
+  « $\lambda (x:\sigma)(t:\tau).E$ » pour « $\lambda
+  (x:\sigma). \lambda (t:\tau). E$ » ;}
 \item l'abstraction est moins prioritaire que l'application ;
 \item on considère les termes à renommage près des variables liées
   {\footnotesize ($\alpha$-conversion)}.
-- 
cgit v1.2.3