From 4cfb78066bfb20e3ab546ca0b1ff150f13eab2cf Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 25 Jan 2025 10:50:02 +0100 Subject: Link to README files --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5cd38cc..bc584bd 100644 --- a/README.md +++ b/README.md @@ -9,5 +9,5 @@ Ce répertoire de code contient du matériel lié aux ateliers animés dans le c ## Ateliers -* [10 octobre 2024](lambda-calcul/) : Atelier "Coder un évaluateur de λ-calcul" -* [30 janvier 2025](pbt/) : Atelier "Test de propriétés" +* [10 octobre 2024](lambda-calcul/README.md) : Atelier "Coder un évaluateur de λ-calcul" +* [30 janvier 2025](pbt/README.md) : Atelier "Test de propriétés" -- cgit v1.2.3