## Topics by content ##
-* [[Basics of functional programming|topics/week1]]
+* [[Introduction to functional programming|topics/week1]]
* [[Order: static versus dynamic|topics/week1 order]]
## Topics by week ##
-Week 1:
+Week 1:
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.