diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
| commit | 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca (patch) | |
| tree | a5739cde5488fccc77249f6d803efa6b460a1642 /README.md | |
| parent | 5cba53dd054222ce3319a1efe6803952c9675889 (diff) | |
| download | lambda-nantes-46d94d86705a7fd0a7c5d0d7c6a74f11669641ca.tar.gz | |
Add more tests and references
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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" |