From 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 27 Oct 2025 16:26:55 +0100 Subject: Add more tests and references --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index b425d39..dc4f3bd 100644 --- a/README.md +++ b/README.md @@ -9,5 +9,6 @@ Ce répertoire de code contient du matériel lié aux ateliers animés dans le c ## Ateliers +* [9 octobre 2025](lambda-calcul/) : Atelier "Coder un évaluateur de λ-calcul simplement typé" * [10 octobre 2024](lambda-calcul/) : Atelier "Coder un évaluateur de λ-calcul" * [30 janvier 2025](pbt/README.md) : Atelier "Test de propriétés" -- cgit v1.2.3