diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 22:27:37 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 22:27:37 +0100 |
| commit | 10a59274945efa7c61ece4a114c6694cc7c4593a (patch) | |
| tree | d8ef16a6115f897f5a6d4fbd403f6fb34509b972 /lambda-calcul/support | |
| parent | a2e6ddf507a42c044070064177b41583a28fb190 (diff) | |
| download | lambda-nantes-10a59274945efa7c61ece4a114c6694cc7c4593a.tar.gz | |
update slides with repo QRCode
Diffstat (limited to 'lambda-calcul/support')
| -rw-r--r-- | lambda-calcul/support/newcrafts-2025.md | 4 | ||||
| -rw-r--r-- | lambda-calcul/support/newcrafts-2025.pdf | bin | 764907 -> 780263 bytes | |||
| -rw-r--r-- | lambda-calcul/support/repo.jpg | bin | 0 -> 10826 bytes |
3 files changed, 4 insertions, 0 deletions
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 + + + ## Action  diff --git a/lambda-calcul/support/newcrafts-2025.pdf b/lambda-calcul/support/newcrafts-2025.pdf Binary files differindex 086dbc9..3d6edd3 100644 --- a/lambda-calcul/support/newcrafts-2025.pdf +++ b/lambda-calcul/support/newcrafts-2025.pdf diff --git a/lambda-calcul/support/repo.jpg b/lambda-calcul/support/repo.jpg Binary files differnew file mode 100644 index 0000000..aba6cbd --- /dev/null +++ b/lambda-calcul/support/repo.jpg |
