projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
555be15
)
post week3-evaluation order
author
jim
<jim@web>
Tue, 24 Feb 2015 00:33:40 +0000
(19:33 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Tue, 24 Feb 2015 00:33:40 +0000
(19:33 -0500)
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
cc97470
..
f5dd971
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-109,7
+109,7
@@
The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];
[[More on Lists|topics/week3 lists]] (expanded on Sunday);
[[What is computation?|topics/week3_what_is_computation]];
[[Arithmetic with Church numbers|topics/week3_church_arithmetic]];
[[More on Lists|topics/week3 lists]] (expanded on Sunday);
[[What is computation?|topics/week3_what_is_computation]];
-
Reduction Strategies and Normal Forms (in progress
);
+
[[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] (posted on Monday 23 Feb
);
[[Unit and its usefulness|topics/week3 unit]] (posted on Wednesday);
[[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday);
[[Homework|exercises/assignment3]]
[[Unit and its usefulness|topics/week3 unit]] (posted on Wednesday);
[[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday);
[[Homework|exercises/assignment3]]