projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f955018
)
add stubs
author
jim
<jim@web>
Mon, 9 Feb 2015 01:01:02 +0000
(20:01 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 9 Feb 2015 01:01:02 +0000
(20:01 -0500)
content.mdwn
patch
|
blob
|
history
diff --git
a/content.mdwn
b/content.mdwn
index
6d838bc
..
cabcc71
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-28,6
+28,12
@@
Week 2:
* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
* [[Homework for week 2|exercises/assignment2]]
+Week 3:
+
+* More on Lists
+Introduces list comprehensions, shows how to encode `tail` in the Lambda Calculus
+* Combinatorial Logic
+* Homework for week 3