projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f394990
)
fixed broken markdown?
author
Jim Pryor
<profjim@jimpryor.net>
Mon, 27 Sep 2010 01:24:03 +0000
(21:24 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Mon, 27 Sep 2010 01:24:03 +0000
(21:24 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week3.mdwn
patch
|
blob
|
history
diff --git
a/week3.mdwn
b/week3.mdwn
index
2252387
..
b29d095
100644
(file)
--- a/
week3.mdwn
+++ b/
week3.mdwn
@@
-214,6
+214,7
@@
and the initial `(\x. x x)` is just what we earlier called the <code>ω</co
<pre><code>ω (\h \lst. (isempty lst) zero (add one ((h h) (extract-tail lst))))
</code></pre>
+
and this will indeed implement the recursive function we couldn't earlier figure out how to define.
In broad brush-strokes, `H` is half of the `get_length` function we're seeking, and `H` has the form: