From 21befc8c8ab2e91632f5341b4fa9425cf3c815ff Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Mon, 13 Oct 2025 09:18:10 +0200
Subject: update from workshop 2bis

---
 lambda-calcul/support/2025-10-09.md    |  35 +++++++++++++++++++++++++++++++++
 lambda-calcul/support/2025-10-09.pdf   | Bin 0 -> 54912 bytes
 lambda-calcul/support/Makefile         |   7 ++++---
 lambda-calcul/support/qrcode.jpg       | Bin 0 -> 10892 bytes
 lambda-calcul/support/qrcode.png       | Bin 0 -> 545 bytes
 lambda-calcul/support/typing-rules.png | Bin 0 -> 21292 bytes
 6 files changed, 39 insertions(+), 3 deletions(-)
 create mode 100644 lambda-calcul/support/2025-10-09.md
 create mode 100644 lambda-calcul/support/2025-10-09.pdf
 create mode 100644 lambda-calcul/support/qrcode.jpg
 create mode 100644 lambda-calcul/support/qrcode.png
 create mode 100644 lambda-calcul/support/typing-rules.png

(limited to 'lambda-calcul/support')

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
Binary files /dev/null and b/lambda-calcul/support/2025-10-09.pdf differ
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
Binary files /dev/null and b/lambda-calcul/support/qrcode.jpg differ
diff --git a/lambda-calcul/support/qrcode.png b/lambda-calcul/support/qrcode.png
new file mode 100644
index 0000000..807d6c1
Binary files /dev/null and b/lambda-calcul/support/qrcode.png differ
diff --git a/lambda-calcul/support/typing-rules.png b/lambda-calcul/support/typing-rules.png
new file mode 100644
index 0000000..408ff28
Binary files /dev/null and b/lambda-calcul/support/typing-rules.png differ
-- 
cgit v1.2.3