diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2018-10-09 20:22:51 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-09 20:22:51 +0530 |
| commit | ed67bee58dc981306be0dc64be112a88603a5e80 (patch) | |
| tree | b2bbf2416f80b6eb370b9cf1422982a7c7eec190 | |
| parent | 7b77c764509812ff8505c783b727ff1addab63ec (diff) | |
| parent | 3f685318635b69d1492238378cd90c5908264b6c (diff) | |
Merge pull request #3271 from chriszimmerman/GH-3114-lambda-calculus-associativity
[Lambda Calculus/en] - Closes #3114 - Fixes lambda calculus evaluation formula by fixing associativity
| -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 72ed78ba..3d080de7 100644 --- a/lambda-calculus.html.markdown +++ b/lambda-calculus.html.markdown @@ -55,7 +55,7 @@ Although lambda calculus traditionally supports only single parameter functions, we can create multi-parameter functions using a technique called [currying](https://en.wikipedia.org/wiki/Currying). -- `(λx.λy.λz.xyz)` is equivalent to `f(x, y, z) = x(y(z))` +- `(λx.λy.λz.xyz)` is equivalent to `f(x, y, z) = ((x y) z)` Sometimes `λxy.<body>` is used interchangeably with: `λx.λy.<body>` @@ -87,7 +87,7 @@ Using `IF`, we can define the basic boolean logic operators: `a NOT b` is equivalent to: `λa.IF a F T` -*Note: `IF a b c` is essentially saying: `IF(a(b(c)))`* +*Note: `IF a b c` is essentially saying: `IF((a b) c)`* ## Numbers: |