summaryrefslogtreecommitdiff
path: root/site/events/2025-10-09-lambda-calcul-type.html
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2026-05-31 16:57:32 +0200
committerArnaud Bailly <arnaud@pankzsoft.com>2026-05-31 16:57:32 +0200
commit966f532a61b34d187bfdeefed7617fbfb6f768ed (patch)
tree6db21d104127d1827f435f940f05a1c61d4e4b51 /site/events/2025-10-09-lambda-calcul-type.html
parentd3c5f70f8acf2a3ea71ffc28580a832eecbe12cc (diff)
downloadlambda-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.html58
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'>&#955;</text></svg>">
-</head>
-<body>
- <nav class="nav">
- <div class="container nav__inner">
- <a href="../index.html" class="nav__brand"><span class="lambda">&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">&larr; Toutes les rencontres</a>
- <h1>Workshop 2bis : Interprétons le lambda-calcul typé</h1>
- <div class="event-meta">
- <span class="event-meta__item">&#128197; 9 octobre 2025</span>
- <span class="event-meta__item">&#128336; 17h00 - 19h00</span>
- <span class="event-meta__item">&#128205; 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 &rarr;</a>
- </div>
- </div>
- </section>
-
- <footer class="footer">
- <div class="container">
- <p>&lambda;-Nantes &mdash; Nantes, France</p>
- </div>
- </footer>
-</body>
-</html>