X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=c73d1b3c6dc198538182d75795c3d5159d7dd624;hp=8dbb20c28214b8ebbfa0b07e721b8c6319b3007a;hb=40b25238c0df45a69fe24e4c11f1cd283e60289e;hpb=ec107d48157032362650dc3cbda79eea47df6ed5 diff --git a/content.mdwn b/content.mdwn index 8dbb20c2..c73d1b3c 100644 --- a/content.mdwn +++ b/content.mdwn @@ -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.