projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
31cebc8
)
(no commit message)
author
chris
<chris@web>
Thu, 12 Feb 2015 15:53:13 +0000
(10:53 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 12 Feb 2015 15:53:13 +0000
(10:53 -0500)
content.mdwn
patch
|
blob
|
history
diff --git
a/content.mdwn
b/content.mdwn
index
aaab7a5
..
99686d4
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-5,6
+5,8
@@
week in which they were introduced.
## Topics by content ##
## Topics by content ##
+* [[What is computation?|topics/week3_what_is_computation]]
+
* Functional Programming
* [[Introduction|topics/week1 kapulet intro]]
* Functional Programming
* [[Introduction|topics/week1 kapulet intro]]
@@
-53,8
+55,9
@@
Week 2:
* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
* [[Homework for week 2|exercises/assignment2]]
* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
* [[Homework for week 2|exercises/assignment2]]
-Week 3:
+Week 3:
But even deci
+* [[What is computation?|topics/week3_what_is_computation]]
* More on Lists
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus
* [[Combinatory Logic|topics/week3 combinatory logic]]
* More on Lists
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus
* [[Combinatory Logic|topics/week3 combinatory logic]]