update from workshop 2bis

6 files changed, 39 insertions, 3 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)
diff --git a/lambda-calcul/support/2025-10-09.pdf b/lambda-calcul/support/2025-10-09.pdf
new file mode 100644
index 0000000..452217b
--- /dev/null
+++ b/lambda-calcul/support/2025-10-09.pdf
diff --git a/lambda-calcul/support/Makefile b/lambda-calcul/support/Makefile
index 2a45ef1..960c5a0 100644
--- a/lambda-calcul/support/Makefile
+++ b/lambda-calcul/support/Makefile
@@ -1,10 +1,11 @@
-all: 2024-10-10.pdf
+all: 2024-10-10.pdf 2025-10-09.pdf
 
 %.pdf: %.md
 	pandoc -t beamer -f markdown+implicit_figures \
-		-V theme:default -V aspectratio:169 \
+		-i -V theme:default -V aspectratio:169 \
 		--pdf-engine=xelatex \
-		-V monofont='DejaVu Sans Mono' \
+		-V monofont='mononoki' \
+    -V mainfont='mononoki' \
 		$(<) -o $(@)
 
 clean:
diff --git a/lambda-calcul/support/qrcode.jpg b/lambda-calcul/support/qrcode.jpg
new file mode 100644
index 0000000..aa560f2
--- /dev/null
+++ b/lambda-calcul/support/qrcode.jpg
diff --git a/lambda-calcul/support/qrcode.png b/lambda-calcul/support/qrcode.png
new file mode 100644
index 0000000..807d6c1
--- /dev/null
+++ b/lambda-calcul/support/qrcode.png
diff --git a/lambda-calcul/support/typing-rules.png b/lambda-calcul/support/typing-rules.png
new file mode 100644
index 0000000..408ff28
--- /dev/null
+++ b/lambda-calcul/support/typing-rules.png