site: move to own repo

1 files changed, 0 insertions, 58 deletions

diff --git a/site/events/2024-06-20-types-dependants.html b/site/events/2024-06-20-types-dependants.html
deleted file mode 100644
index b4bd183..0000000
--- a/site/events/2024-06-20-types-dependants.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>Types, types et types (dépendants) - 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>LambdaNantes 5 : Types, types et types (dépendants)</h1>
-      <div class="event-meta">
-        <span class="event-meta__item">&#128197; 20 juin 2024</span>
-        <span class="event-meta__item">&#128336; 17h00 - 19h30</span>
-        <span class="event-meta__item">&#128205; PaloIT, 1 Rue Saint Julien, Nantes</span>
-      </div>
-    </div>
-  </header>
-
-  <section class="event-body">
-    <div class="container">
-      <div class="event-body__content">
-        <h2>Le XXIème sera typé ou ne sera pas</h2>
-        <p><strong>Arnaud Bailly</strong> explore le Type-Driven Development à travers des exemples en Elm, Haskell et Idris, couvrant les types algébriques, type classes, type families, etc. jusqu'aux frontières des types dépendants.</p>
-
-        <h2>Types dépendants : de la théorie à la pratique en mode interactif !</h2>
-        <p><strong>Didier Plaindoux</strong> passe de la théorie vers la pratique en examinant les définitions formelles. Les sujets incluent les types fonctions dépendants, les paires dépendantes, les types somme et l'égalité propositionnelle.</p>
-
-        <a href="https://mobilizon.fr/events/45729d5f-7725-47e4-a29d-99a872b9ec4f" 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>