[Lambda Calculus] Missed associativity of parentheses

[elhaddadyacine]

Hi, In Lambda Calculus Doc inside Evaluation section the formula :

• (λx.λy.λz.xyz) is equivalent to f(x, y, z) = x(y(z))

should be

• (λx.λy.λz.xyz) is equivalent to f(x, y, z) = ((x y) z)

because the associativity of parentheses is left in λ-calculus.

[sim642]

There's a similar problem below:

Note: IF a b c is essentially saying: IF(a(b(c)))

Tbh, I'm not even sure what new that is trying to say or how it would be anyhow helpful to understanding IF.

[elhaddadyacine]

Thanks for your replay :+1: But it's not updated yet :disappointed:

[ian-bertolacci]

They prefer if you can make the changes and file a pull request.

[chriszimmerman]

I opened https://github.com/adambard/learnxinyminutes-docs/pull/3271 to address this issue.

[divayprakash]

Closed in #3271