diff options
Diffstat (limited to 'lambda-calcul/support')
| -rw-r--r-- | lambda-calcul/support/2025-10-09.md | 35 | ||||
| -rw-r--r-- | lambda-calcul/support/2025-10-09.pdf | bin | 0 -> 54912 bytes | |||
| -rw-r--r-- | lambda-calcul/support/Makefile | 7 | ||||
| -rw-r--r-- | lambda-calcul/support/qrcode.jpg | bin | 0 -> 10892 bytes | |||
| -rw-r--r-- | lambda-calcul/support/qrcode.png | bin | 0 -> 545 bytes | |||
| -rw-r--r-- | lambda-calcul/support/typing-rules.png | bin | 0 -> 21292 bytes |
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à ⇒ + + + +## Aujourd'hui + +* On passe à la vitesse supérieure en ajoutant des types simples au λ-calcul +* Cela donne le _λ-calcul simplement typé_ + +## Aujourd'hui + + diff --git a/lambda-calcul/support/2025-10-09.pdf b/lambda-calcul/support/2025-10-09.pdf Binary files differnew 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 Binary files differnew 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 Binary files differnew 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 Binary files differnew file mode 100644 index 0000000..408ff28 --- /dev/null +++ b/lambda-calcul/support/typing-rules.png |
