From aecd44d1a1974b5f1f8bf2237ad1041fa739e6ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Mon, 11 Sep 2017 10:32:16 +0200 Subject: [PATCH] Fixed links. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 17232af..cd8a80f 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ ## Teachers in 2017-2018 - * Functional Programming: Under the Hood (12h30, [http://gallium.inria.fr/~fpottier](François Pottier) - * Metatheory of Typed Programming Languages (12h30, [http://gallium.inria.fr/~remy/](Didier Rémy, *head*) - * Advanced Aspects of Type Systems (12h30, [http://www.pps.jussieu.fr/~yrg/](Yann Régis Gianas) - * Dependently-typed Functional Programming (12h30, [https://pages.lip6.fr/Pierre-Evariste.Dagand/](Pierre-Evariste Dagand) + * Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier) + * Metatheory of Typed Programming Languages (12h30, [Didier Rémy, *head*](http://gallium.inria.fr/~remy/) + * Advanced Aspects of Type Systems (12h30, [Yann Régis Gianas](http://www.pps.jussieu.fr/~yrg/) + * Dependently-typed Functional Programming (12h30, [Pierre-Evariste Dagand](https://pages.lip6.fr/Pierre-Evariste.Dagand/)