From 4414424e2f0931ff69c0ea0175700d5e78c93aa7 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Tue, 24 Oct 2023 11:18:57 +0200
Subject: [PATCH] advertise slides on webpage
---
README.md | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 34a545e..f760fd6 100644
--- a/README.md
+++ b/README.md
@@ -66,9 +66,11 @@ The syllabus is organized in four main segments of five lectures each.
### Semantic Proofs of Type Soundness and Logical Relations
* (18/10/2023) Semantic interpretation of types: unary logical relations (GS).
-* (25/10/2023) Mutable state and the value restriction (GS).
+ + ([slides](slides/scherer-01.pdf))
+* (25/10/2023) Binary logical relations and parametricity (GS).
+ + (same slides)
* (01/11/2023) *holiday*
-* (08/11/2023) Binary logical relations and parametricity (GS).
+* (08/11/2023) Mutable state and the value restriction (GS).
* (15/11/2023) Syntactic type soundness for System F in Coq (GS).
* (22/11/2023) Semantic type soundness for System F
with mutable state in Coq/Iris (JHJ).
--
GitLab