projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
week4 tweaks
[lambda.git]
/
week4.mdwn
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
<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.
Please slow down and make sure that you understand what justified each
of the equalities in the last line.