projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' into working
[lambda.git]
/
content.mdwn
diff --git
a/content.mdwn
b/content.mdwn
index
c2957ec
..
ff03e69
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-5,7
+5,7
@@
week in which they were introduced.
## Topics by content ##
## Topics by content ##
-* [[Introduction to functional programming|topics/week1]]
+* [[Introduction to functional programming|topics/week1
kapulet intro
]]
* [[Order: static versus dynamic|topics/week1 order]]
* [[Order: static versus dynamic|topics/week1 order]]
@@
-15,16
+15,16
@@
Week 1:
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.
-* [[Introduction to functional programming|topics/week1]]
+* [[Introduction to functional programming|topics/week1
kapulet intro
]]
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
-* [[Advanced notes
|topics/week1 advanced notes
]]
+* [[Advanced notes
on functional programming|topics/week1 kapulet advanced
]]
* [[Homework for week 1|exercises/assignment1]]
Week 2:
* [[Homework for week 1|exercises/assignment1]]
Week 2:
-* [[Intro
to the Lambda Calculus|topics/ week2 lambda calculus
intro]]
-* [[Advanced notes on the Lambda Calculus|topics/
week2 lambda calculus advanced notes
]]
+* [[Intro
duction to the Lambda Calculus|topics/week2 lambda
intro]]
+* [[Advanced notes on the Lambda Calculus|topics/
week2 lambda advanced
]]
* Encoding Booleans, Tuples, Lists, and Numbers (in progress)
* Homework for week 2 (in progress)
* Encoding Booleans, Tuples, Lists, and Numbers (in progress)
* Homework for week 2 (in progress)