diff options
| author | Stanislav (Stanley) Modrak <44023416+smith558@users.noreply.github.com> | 2023-03-08 09:35:48 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-08 09:35:48 +0000 |
| commit | 4c79407041c1a1969815368c11003cb5ea20a837 (patch) | |
| tree | c464ca387191c91f0dc2572ef4b281a3c7aa1844 /lambda-calculus.html.markdown | |
| parent | e3ee5b81faad348586ff50dda2100046bd17591f (diff) | |
| parent | fbaa905e23f26d20b37a3886dd8e07cd6edb8680 (diff) | |
Merge branch 'master' into patch-4
Diffstat (limited to 'lambda-calculus.html.markdown')
| -rw-r--r-- | lambda-calculus.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calculus.html.markdown b/lambda-calculus.html.markdown index 958dd746..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` |