From 20664156ac8d40650ecb3317021499a4e3e032c1 Mon Sep 17 00:00:00 2001 From: REMY Didier Date: Thu, 23 Nov 2017 18:06:30 +0100 Subject: [PATCH] Remove pointer to my own page. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 73b8d85..4e49d76 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ There is a 15-minute break in the middle of each lecture. ## Teachers * Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier)) - * [Metatheory of Typed Programming Languages](http://gallium.inria.fr/~remy/mpri/) (12h30, [Didier Rémy](http://gallium.inria.fr/~remy/), *head*) + * Metatheory of Typed Programming Languages (12h30, [Didier Rémy](http://gallium.inria.fr/~remy/), *head*) * 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/))