From d6f91d2412a063911939cf861e735d6061ae4660 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Mon, 11 Sep 2017 10:32:58 +0200 Subject: [PATCH] Closing parens. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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/))