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:
0a1f912
)
adjusting table of contents
author
Chris
<chris.barker@nyu.edu>
Mon, 9 Feb 2015 20:52:12 +0000
(15:52 -0500)
committer
Chris
<chris.barker@nyu.edu>
Mon, 9 Feb 2015 20:52:12 +0000
(15:52 -0500)
content.mdwn
patch
|
blob
|
history
diff --git
a/content.mdwn
b/content.mdwn
index
cabcc71
..
e2af0ee
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-9,6
+9,14
@@
week in which they were introduced.
* [[Order: static versus dynamic|topics/week1 order]]
+ * [[The Lambda Calculus|topics/week2 lambda intro]]
+
+ * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
+
+ * Encoding data types in the Lambda Calculus
+
+ * [[Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
+
## Topics by week ##
Week 1: