diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:50:02 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:50:02 +0100 |
| commit | 4cfb78066bfb20e3ab546ca0b1ff150f13eab2cf (patch) | |
| tree | 4f83c9edd512e3aee36a2b16f45286e983d56e26 | |
| parent | 701f07df7ec734c8e9cf3526c578d07b5360b7d4 (diff) | |
| download | lambda-nantes-4cfb78066bfb20e3ab546ca0b1ff150f13eab2cf.tar.gz | |
Link to README files
| -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" |