next chunk of edits
[lambda.git] / content.mdwn
index 8dbb20c..c73d1b3 100644 (file)
@@ -5,13 +5,13 @@ week in which they were introduced.
 
 ## 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.