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:
e24b3eb
)
tweaked arithmetic
author
Jim Pryor
<profjim@jimpryor.net>
Thu, 30 Sep 2010 18:29:09 +0000
(14:29 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Thu, 30 Sep 2010 18:29:09 +0000
(14:29 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
arithmetic.mdwn
patch
|
blob
|
history
diff --git
a/arithmetic.mdwn
b/arithmetic.mdwn
index
cac56f2
..
d272487
100644
(file)
--- a/
arithmetic.mdwn
+++ b/
arithmetic.mdwn
@@
-201,7
+201,7
@@
Here are a bunch of pre-tested operations for the untyped lambda calculus. In so
; Rosenbloom's fixed point combinator
let Y = \f. (\h. f (h h)) (\h. f (h h)) in
; Turing's fixed point combinator
- let
Z
= (\u f. f (u u f)) (\u f. f (u u f)) in
+ let
Theta
= (\u f. f (u u f)) (\u f. f (u u f)) in
; length for version 1 lists
@@
-218,7
+218,7
@@
Here are a bunch of pre-tested operations for the untyped lambda calculus. In so
- fact
Z
3 ; returns 6
+ fact
Theta
3 ; returns 6
<!--