diff options
| author | Marcel Ribeiro Dantas <ribeirodantasdm@gmail.com> | 2022-12-10 12:08:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-10 12:08:26 -0300 |
| commit | 97a2a383c6b2f503ed2febd07bc950d1e95e54bb (patch) | |
| tree | cd8fe10053e400fe06009a4dc40cec3b2e5892b6 /lambda-calculus.html.markdown | |
| parent | 354fe6fe7dd8085b88b0b1a2af2f5e612fe196f2 (diff) | |
| parent | bba9f7df211d63293e2a957872d156a0a6dfcd48 (diff) | |
Merge pull request #4560 from mribeirodantas/fix-typos-en
Fixes typos in many different English articles
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` |