summaryrefslogtreecommitdiffhomepage
path: root/lambda-calculus.html.markdown
diff options
context:
space:
mode:
authorChris Zimmerman <chris@chriszimmerman.net>2018-10-09 07:08:41 -0400
committerChris Zimmerman <chris@chriszimmerman.net>2018-10-09 07:08:41 -0400
commit3f685318635b69d1492238378cd90c5908264b6c (patch)
treed1ddf001b3a4a219eb24e7b98d4517b29863919d /lambda-calculus.html.markdown
parent3a48077c16b2a7f083cd096cf146e16b9bcebdb1 (diff)
Fixes associativity issue in Lambda Calculus doc.
Diffstat (limited to 'lambda-calculus.html.markdown')
-rw-r--r--lambda-calculus.html.markdown2
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calculus.html.markdown b/lambda-calculus.html.markdown
index 79dc20e7..3d080de7 100644
--- a/lambda-calculus.html.markdown
+++ b/lambda-calculus.html.markdown
@@ -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: