X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=content.mdwn;h=75e3f92c8930b7e5d04a75c1d6e40c655b294ce6;hb=b1b3498fa8a621ba0d9a6a00d6d83d8ef4998027;hp=e067adba00f9aa3edbf360871a46033028568f71;hpb=f7cef2a966b4a887a1ab4f199c380bdbe21f081c;p=lambda.git diff --git a/content.mdwn b/content.mdwn index e067adba..75e3f92c 100644 --- a/content.mdwn +++ b/content.mdwn @@ -5,7 +5,7 @@ week in which they were introduced. ## Topics by content ## -* [[Introduction to functional programming|topics/week1]] +* [[Introduction to functional programming|topics/week1_kapulet_intro]] * [[Order: static versus dynamic|topics/week1 order]] @@ -15,10 +15,10 @@ Week 1: * [[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. -* [[Advanced notes|topics/week1 advanced notes]] +* [[Advanced notes|topics/week1_kapulet_advanced]] * [[Homework for week 1|exercises/assignment1]] Week 2: