projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
86f5d41
)
Merge branch 'pryor'
author
Jim Pryor
<profjim@jimpryor.net>
Sun, 3 Oct 2010 19:41:09 +0000
(15:41 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Sun, 3 Oct 2010 19:41:09 +0000
(15:41 -0400)
week4.mdwn
patch
|
blob
|
history
diff --git
a/week4.mdwn
b/week4.mdwn
index
78e2d37
..
4bddeaa
100644
(file)
--- a/
week4.mdwn
+++ b/
week4.mdwn
@@
-119,7
+119,7
@@
fact 2
~~> mul 2 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] 1)
...
~~> mul 2 (mul 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] 0))
-≡ mul 2 (mul 1 (iszero 0 1 (
[prefact ((\x. prefact (x x)) (\x. prefact (x x)))] (pred 0
))))
+≡ mul 2 (mul 1 (iszero 0 1 (
mul 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] (pred 0)
))))
~~> mul 2 (mul 1 1)
~~> mul 2 1
~~> 2