From 10a59274945efa7c61ece4a114c6694cc7c4593a Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 22:27:37 +0100 Subject: update slides with repo QRCode --- lambda-calcul/support/newcrafts-2025.md | 4 ++++ lambda-calcul/support/newcrafts-2025.pdf | Bin 764907 -> 780263 bytes lambda-calcul/support/repo.jpg | Bin 0 -> 10826 bytes 3 files changed, 4 insertions(+) create mode 100644 lambda-calcul/support/repo.jpg (limited to 'lambda-calcul') diff --git a/lambda-calcul/support/newcrafts-2025.md b/lambda-calcul/support/newcrafts-2025.md index c80e453..713e3e5 100644 --- a/lambda-calcul/support/newcrafts-2025.md +++ b/lambda-calcul/support/newcrafts-2025.md @@ -52,6 +52,10 @@ Terms from the λ-Calculus can be _rewritten_ using various rules the two main o * Search for _λ Cube_online... * We'll introduce _Simply Typed λ-Calculus_ aka. $\lambda_{\rightarrow}$ +## The Code + +![](repo.jpg) + ## Action ![](eruption.jpg) diff --git a/lambda-calcul/support/newcrafts-2025.pdf b/lambda-calcul/support/newcrafts-2025.pdf index 086dbc9..3d6edd3 100644 Binary files a/lambda-calcul/support/newcrafts-2025.pdf and b/lambda-calcul/support/newcrafts-2025.pdf differ diff --git a/lambda-calcul/support/repo.jpg b/lambda-calcul/support/repo.jpg new file mode 100644 index 0000000..aba6cbd Binary files /dev/null and b/lambda-calcul/support/repo.jpg differ -- cgit v1.3.1