diff --git a/README.md b/README.md index cd8a80f..46dae3d 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ ## Teachers in 2017-2018 - * 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/) + * Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier)) + * 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/))