From 0f340ed1fdfd8927a79d3cf5d49b9d85fc53dc8d Mon Sep 17 00:00:00 2001 From: REMY Didier Date: Sun, 29 Oct 2017 16:50:40 +0100 Subject: [PATCH] lecture 3 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22f7bf5..4d768d3 100644 --- a/README.md +++ b/README.md @@ -111,7 +111,7 @@ We also show the limits of dependently-typed functional programming. the extra material; and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf) of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)). -* (03/11/2017) [Logical relations](http://gallium.inria.fr/~remy/mpri/slides2.pdf) +* (03/11/2017) [Logical relations](http://gallium.inria.fr/~remy/mpri/slides3.pdf) ([chap 8](http://gallium.inria.fr/~remy/mpri/cours6.pdf) of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)). * (10/11/2017) Subtyping. Rows.