From bacf138196dcba02b504579d88567d27b362004b Mon Sep 17 00:00:00 2001
From: REMY Didier <didier.remy@inria.fr>
Date: Sun, 29 Oct 2017 16:43:39 +0100
Subject: [PATCH] fixing ).

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

diff --git a/README.md b/README.md
index c5365b8..a77e8aa 100644
--- a/README.md
+++ b/README.md
@@ -108,9 +108,10 @@ We also show the limits of dependently-typed functional programming.
   ([without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or
    [only](http://gallium.inria.fr/~remy/mpri/slides2b.pdf)
    the extra material; 
-  and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)).
+  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.
+* (03/11/2017) Logical relations
+  (See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf)).
 * (10/11/2017) Subtyping. Rows.
 * (17/11/2017) References, Value restriction, Side effects.