projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
335ce8b
)
week4 tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Sun, 3 Oct 2010 17:32:32 +0000
(13:32 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Sun, 3 Oct 2010 17:32:32 +0000
(13:32 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week4.mdwn
patch
|
blob
|
history
diff --git
a/week4.mdwn
b/week4.mdwn
index
83d54df
..
11eea4c
100644
(file)
--- a/
week4.mdwn
+++ b/
week4.mdwn
@@
-8,7
+8,8
@@
TX` (that's what it means to *have* a fixed point).
<pre><code>let L = \x. T (x x) in
let X = L L in
-X ≡ L L ≡ (\x. T (x x)) L ~~> T (L L) ≡ T X</code></pre>
+X ≡ L L ≡ (\x. T (x x)) L ~~> T (L L) ≡ T X
+</code></pre>
Please slow down and make sure that you understand what justified each
of the equalities in the last line.