diff options
Diffstat (limited to 'lambda-calcul/support/newcrafts-2025.md')
| -rw-r--r-- | lambda-calcul/support/newcrafts-2025.md | 4 |
1 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  |