diff options
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |