From b14a31313d352595c79fd633084252d35c7c532c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-=C3=89variste=20Dagand?= <dagand@irif.fr>
Date: Fri, 15 Dec 2023 15:54:03 +0000
Subject: [PATCH] Pointer to Didier's notes

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

diff --git a/README.md b/README.md
index 979f9ab..692aa21 100644
--- a/README.md
+++ b/README.md
@@ -94,6 +94,7 @@ The syllabus is organized in four main segments of five lectures each.
   + [Monadic gymnastics (OCaml)](https://gitlab.com/pedagand/mpri-2.4-monads)
   + [Functor-oriented programming (Agda)](./agda/04-generic/Desc.lagda.rst)
 * (20/12/2023) Hindley-Milner type inference and elaboration (GS).
+  + [Handout by D. Rémy](http://gallium.inria.fr/~remy/mpri/2013/cours3.pdf)
 * (10/01/2024) Bidirectional type inference and elaboration (PED).
 * (17/01/2024) System Fω and modules (PED).
 
-- 
GitLab