projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update for rename of topics/week1_advanced_notes.mdwn to topics/week1_kapulet_advance...
[lambda.git]
/
content.mdwn
diff --git
a/content.mdwn
b/content.mdwn
index
c2957ec
..
75e3f92
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|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 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)