From 7053ce19deea6a037fd7520dde08300b38a57c24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Tue, 15 Oct 2024 16:16:44 +0200
Subject: [PATCH] Note that there is no course on 26/11.

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 359cef2..9c67106 100644
--- a/README.md
+++ b/README.md
@@ -83,6 +83,8 @@ The syllabus is organized in four main segments of five lectures each.
 * (19/11/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ).
   * ([slides](slides/jhjourdan-00.pdf), [Coq/Iris development](coq/logic_rel.tar.gz))
 
+* (26/11/2024) *break*
+
 * **(03/12/2024) mid-term exam**, in the usual room and at the usual time,
   **from 12:45 to 15:30**, without a break.
   The duration of the exam is 2h45.
-- 
GitLab