diff options
| author | Chris Zimmerman <chris@chriszimmerman.net> | 2018-10-08 13:57:53 -0400 |
|---|---|---|
| committer | Chris Zimmerman <chris@chriszimmerman.net> | 2018-10-08 13:57:53 -0400 |
| commit | 3a48077c16b2a7f083cd096cf146e16b9bcebdb1 (patch) | |
| tree | c9a444daac8f9dc7ce1fec176d4760108108eef3 | |
| parent | 215d688c0616f5023cab98b6b1ff9735581f03ec (diff) | |
Fixes lambda calculus evaluation formula by fixing associativity
| -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 72ed78ba..79dc20e7 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>` |