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