update from workshop 2bis

1 files changed, 35 insertions, 0 deletions

diff --git a/lambda-calcul/support/2025-10-09.md b/lambda-calcul/support/2025-10-09.md
new file mode 100644
index 0000000..66ec5a8
--- /dev/null
+++ b/lambda-calcul/support/2025-10-09.md
@@ -0,0 +1,35 @@
+---
+title: λ-Nantes Workshop 2bis
+subtitle: Apprenons à aimer le λ-calcul simplement typé
+date: 2025-10-09
+---
+
+## Agenda
+
+* Introduction
+* Action
+* Conclusion
+
+# Introduction
+
+## Rappel de l'épisode précédent
+
+* On a codé un λ-calcul non typé en Rust, Elixir, Clojure et Java
+* En jouant contre un serveur nous envoyant des expressions à évaluer
+* On s'est bien amusé
+* On veut aller plus loin
+
+## Rappel de l'épisode précédent
+
+Pour accéder au repository, c'est par là ⇒
+
+![Lambda-Nantes code](qrcode.jpg)
+
+## Aujourd'hui
+
+* On passe à la vitesse supérieure en ajoutant des types simples au λ-calcul
+* Cela donne le _λ-calcul simplement typé_
+
+## Aujourd'hui
+
+![λ-calcul simplement typé](typing-rules.png)