diff options
| author | Boris Verkhovskiy <boris.verk@gmail.com> | 2024-04-04 04:26:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-04 04:26:14 -0700 |
| commit | 4d59048f0df8441e5ad2c2c440e8d54b0e9c11b6 (patch) | |
| tree | fa2dbdd40da35b3c27f928f1112ea43193a7482e /lambda-calculus.html.markdown | |
| parent | b38d4437120e700646a45dff68b7c4ff3f7109c0 (diff) | |
| parent | 327001f58739489b41f6b1f7bbc8be900847b381 (diff) | |
Merge branch 'master' into patch-2
Diffstat (limited to 'lambda-calculus.html.markdown')
| -rw-r--r-- | lambda-calculus.html.markdown | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lambda-calculus.html.markdown b/lambda-calculus.html.markdown index 53a7a7cd..775907c2 100644 --- a/lambda-calculus.html.markdown +++ b/lambda-calculus.html.markdown @@ -41,7 +41,7 @@ Evaluation is done via which is essentially lexically-scoped substitution. When evaluating the -expression `(λx.x)a`, we replace all occurences of "x" in the function's body +expression `(λx.x)a`, we replace all occurrences of "x" in the function's body with "a". - `(λx.x)a` evaluates to: `a` @@ -131,7 +131,7 @@ We can convert an expression in the lambda calculus to an expression in the SKI combinator calculus: 1. `λx.x = I` -2. `λx.c = Kc` +2. `λx.c = Kc` provided that `x` does not occur free in `c` 3. `λx.(y z) = S (λx.y) (λx.z)` Take the church number 2 for example: |