From fdeea61df3ecc7b1009893dbd318e50903065601 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 13 Dec 2023 16:20:23 +0100 Subject: Change chapter title to include propositional calculus. --- 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 389acbe..25305e4 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -38,7 +38,7 @@ % % % -\title{Typage simple} +\title{Typage simple et calcul propositionnel} \subtitle{INF110 (Logique et Fondements de l'Informatique)} \author[David Madore]{David A. Madore\\ {\footnotesize Télécom Paris}\\ -- cgit v1.2.3