From 672cfcd07d82940ce2187d55f6402ceaf621fd4b Mon Sep 17 00:00:00 2001
From: REMY Didier <didier.remy@inria.fr>
Date: Fri, 15 Sep 2017 08:55:27 +0200
Subject: [PATCH] slides and notes

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

diff --git a/README.md b/README.md
index 5985b1c..04234a3 100644
--- a/README.md
+++ b/README.md
@@ -69,12 +69,12 @@ We also show the limits of dependently-typed functional programming.
 
 ### Metatheory of Typed Programming Languages
 
-* [(15/09/2017)]
+* (15/09/2017)
   [Metatheory of System F](http://gallium.inria.fr/~remy/mpri/slides1.pdf)
-  See also [Intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf), 
+  (See also [intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf), 
   and chap [1](http://gallium.inria.fr/~remy/mpri/2016/cours1.pdf) 
   and [2](http://gallium.inria.fr/~remy/mpri/2016/cours2.pdf) 
-  of course notes.
+  of [course notes](http://gallium.inria.fr/~remy/mpri/2016/cours.pdf))
 * (27/10/2017) ADTs, existential types, GADTs. 
 * (03/11/2017) Logical relations.
 * (10/11/2017) Subtyping. Rows.