From 20967ac6710a3e888acffa19f8449fa8fff1049b Mon Sep 17 00:00:00 2001 From: REMY Didier Date: Wed, 20 Sep 2017 13:50:54 +0200 Subject: [PATCH] ./2016/ -> ./ --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 04234a3..ea12d46 100644 --- a/README.md +++ b/README.md @@ -72,9 +72,9 @@ We also show the limits of dependently-typed functional programming. * (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), - 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](http://gallium.inria.fr/~remy/mpri/2016/cours.pdf)) + and chap [1](http://gallium.inria.fr/~remy/mpri/cours1.pdf) + and [2](http://gallium.inria.fr/~remy/mpri/cours2.pdf) + of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)) * (27/10/2017) ADTs, existential types, GADTs. * (03/11/2017) Logical relations. * (10/11/2017) Subtyping. Rows.