projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
d9b2cfb
)
(no commit message)
author
chris
<chris@web>
Mon, 9 Feb 2015 22:18:33 +0000
(17:18 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 9 Feb 2015 22:18:33 +0000
(17:18 -0500)
topics/_week3_combinatory_logic.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week3_combinatory_logic.mdwn
b/topics/_week3_combinatory_logic.mdwn
index
59717b8
..
5a17657
100644
(file)
--- a/
topics/_week3_combinatory_logic.mdwn
+++ b/
topics/_week3_combinatory_logic.mdwn
@@
-10,7
+10,7
@@
Lambda expressions that have no free variables are known as **combinators**. Her
(further) argument to `x`. ("K" for "constant".) Compare K
to our definition of `true`.
->
**S** is defined to be `\f g x. f x (g x)`. This is a more
+> **S** is defined to be `\f g x. f x (g x)`. This is a more
complicated operation, but is extremely versatile and useful
(see below): it copies its third argument and distributes it
over the first two arguments.