projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
combinatory tweaks and formatting
[lambda.git]
/
content.mdwn
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]]