Fixes associativity issue in Lambda Calculus doc.

This commit is contained in:
Chris Zimmerman 2018-10-09 07:08:41 -04:00
parent 3a48077c16
commit 3f68531863

View File

@ -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` `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: ## Numbers: