diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-05-31 16:57:32 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-05-31 16:57:32 +0200 |
| commit | 966f532a61b34d187bfdeefed7617fbfb6f768ed (patch) | |
| tree | 6db21d104127d1827f435f940f05a1c61d4e4b51 /site/events/2025-10-09-lambda-calcul-type.html | |
| parent | d3c5f70f8acf2a3ea71ffc28580a832eecbe12cc (diff) | |
| download | lambda-nantes-966f532a61b34d187bfdeefed7617fbfb6f768ed.tar.gz | |
site: move to own repo
Diffstat (limited to 'site/events/2025-10-09-lambda-calcul-type.html')
| -rw-r--r-- | site/events/2025-10-09-lambda-calcul-type.html | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/site/events/2025-10-09-lambda-calcul-type.html b/site/events/2025-10-09-lambda-calcul-type.html deleted file mode 100644 index 468043a..0000000 --- a/site/events/2025-10-09-lambda-calcul-type.html +++ /dev/null @@ -1,58 +0,0 @@ -<!DOCTYPE html> -<html lang="fr"> -<head> - <meta charset="UTF-8"> - <meta name="viewport" content="width=device-width, initial-scale=1.0"> - <title>Interprétons le lambda-calcul typé - Lambda Nantes</title> - <link rel="preconnect" href="https://fonts.googleapis.com"> - <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin> - <link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;700&display=swap" rel="stylesheet"> - <link rel="stylesheet" href="../style.css"> - <link rel="stylesheet" href="../event.css"> - <link rel="icon" href="data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 100 100'><text y='.9em' font-size='90'>λ</text></svg>"> -</head> -<body> - <nav class="nav"> - <div class="container nav__inner"> - <a href="../index.html" class="nav__brand"><span class="lambda">λ</span>-Nantes</a> - <ul class="nav__links"> - <li><a href="../index.html#a-propos">A propos</a></li> - <li><a href="../index.html#ateliers">Rencontres</a></li> - <li><a href="../index.html#rejoindre">Rejoindre</a></li> - </ul> - </div> - </nav> - - <header class="event-hero"> - <div class="container"> - <a href="../index.html#ateliers" class="event-hero__back">← Toutes les rencontres</a> - <h1>Workshop 2bis : Interprétons le lambda-calcul typé</h1> - <div class="event-meta"> - <span class="event-meta__item">📅 9 octobre 2025</span> - <span class="event-meta__item">🕐 17h00 - 19h00</span> - <span class="event-meta__item">📍 Epitech, 2 Place Louis Daubenton, Nantes</span> - </div> - </div> - </header> - - <section class="event-body"> - <div class="container"> - <div class="event-body__content"> - <p>Cet atelier pratique fait suite à une précédente exploration du lambda-calcul. Les participants enrichiront un interpréteur de lambda-calcul en ajoutant un système de types simples.</p> - - <p>La session couvre des concepts importants de programmation : typage structurel, inférence de types, variables de types, et types somme/produit.</p> - - <p>L'atelier ne nécessite pas d'avoir participé à l'événement original, les concepts fondamentaux seront revus. Les participants sont invités à apporter leurs machines et environnements de développement pour coder collaborativement, le travail en binôme étant possible pour ceux sans équipement.</p> - - <a href="https://mobilizon.fr/events/39b75b66-d472-40c8-9a7e-d325a9bffcb4" class="event-link" target="_blank" rel="noopener">Voir sur Mobilizon →</a> - </div> - </div> - </section> - - <footer class="footer"> - <div class="container"> - <p>λ-Nantes — Nantes, France</p> - </div> - </footer> -</body> -</html> |
