From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 25 Jan 2025 10:45:41 +0100 Subject: Move λ-calcul workshop code to subdirectory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 918ebe1..5cd38cc 100644 --- a/README.md +++ b/README.md @@ -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" -- cgit v1.2.3