iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 09:41:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixes lambda calculus evaluation formula by fixing associativity

Browse Source
This commit is contained in:
Chris Zimmerman 2018-10-08 13:57:53 -04:00
parent 215d688c06
commit 3a48077c16
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lambda-calculus.html.markdown
View File

@ -55,7 +55,7 @@ Although lambda calculus traditionally supports only single parameter
functions, we can create multi-parameter functions using a technique called functions, we can create multi-parameter functions using a technique called
[currying](https://en.wikipedia.org/wiki/Currying). [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>` Sometimes `λxy.<body>` is used interchangeably with: `λx.λy.<body>`