projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
74c28ae
)
post ass5
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 15:53:39 +0000
(11:53 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 15:53:39 +0000
(11:53 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
6cdbc3f
..
cbe3d8d
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-82,10
+82,11
@@
preloaded is available at [[assignment 3 evaluator]].
> Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]]
-(18 Oct
) Lecture notes for [[Week5]] (in progress)
.
+(18 Oct
, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]]
.
> Topics: Types, Polymorphism
+
[[Upcoming topics]]
[Advanced Lambda Calculus Topics](/advanced_lambda)