diff options
| -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 |
