From aee8182a5c56195e03caded0390fd784250951a9 Mon Sep 17 00:00:00 2001
From: REMY Didier <didier.remy@inria.fr>
Date: Sun, 29 Oct 2017 16:48:50 +0100
Subject: [PATCH] Anchor for Lecture 3.

---
 Makefile  | 1 -
 README.md | 7 ++++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 0f984d0..e22c835 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,3 @@
 
 README.html: README.md
 	pandoc -s -f markdown -t html -o $@ $<
-
diff --git a/README.md b/README.md
index da7cc08..22f7bf5 100644
--- a/README.md
+++ b/README.md
@@ -105,13 +105,14 @@ We also show the limits of dependently-typed functional programming.
   of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
 * (27/10/2017)
   [ADTs, existential types, GADTs](http://gallium.inria.fr/~remy/mpri/slides2.pdf)
-  ([without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or
+  (slides
+   [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)
    of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
-* (03/11/2017) Logical relations
-  (See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf)
+* (03/11/2017) [Logical relations](http://gallium.inria.fr/~remy/mpri/slides2.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.
 * (17/11/2017) References, Value restriction, Side effects.