diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:45:41 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 10:45:41 +0100 |
| commit | 7752d73216578d5961751b5d0535088d384b4aa6 (patch) | |
| tree | 786e46fe1276e93ade0a48398cd4c9ac13081707 /README.md | |
| parent | d6f68e919db51d366c8ca3c1509bea12aa81d692 (diff) | |
| download | lambda-nantes-7752d73216578d5961751b5d0535088d384b4aa6.tar.gz | |
Move λ-calcul workshop code to subdirectory
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -1,3 +1,13 @@ # λ-Nantes -λ-Nantes est un groupe de développeuses et développeurs de Nantes et sa région, intéressées par les langages dits fonctionnels (ou applicatifs), qui se réunit de manière apériodique et irrégulière pour des conférences et des ateliers. +λ-Nantes est un groupe de développeuses et développeurs de Nantes et +sa région, intéressées par les langages dits fonctionnels (ou +applicatifs), qui se réunit de manière apériodique et irrégulière pour +des conférences et des ateliers. + +Ce répertoire de code contient du matériel lié aux ateliers animés dans le cadre de λ-Nantes. + +## Ateliers + +* [10 octobre 2024](lambda-calcul/) : Atelier "Coder un évaluateur de λ-calcul" +* [30 janvier 2025](pbt/) : Atelier "Test de propriétés" |