blob: dc4f3bd3807174db0c1257687645b12849bca4b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# λ-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.
Ce répertoire de code contient du matériel lié aux ateliers animés dans le cadre de λ-Nantes.
## 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"
|
