X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=2460087975c873a1a32f7dc780b866ba4c32e600;hp=5893819c089f4f665d6cba52621dc03984449cbe;hb=9c7735402f69353862f1c7c54766c9c3ac4cf4f0;hpb=0b1bbb3b846871fc9245456e0be8a1c1fb102050 diff --git a/content.mdwn b/content.mdwn index 5893819c..24600879 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,7 +15,7 @@ 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]] @@ -24,7 +24,7 @@ recursion. Definitions of factorial. Week 2: * [[Intro to the Lambda Calculus|topics/week2_lambda_intro]] -* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus fine points]] +* [[Advanced notes on the Lambda Calculus|topics/week2_lambda_advanced]] * Encoding Booleans, Tuples, Lists, and Numbers (in progress) * Homework for week 2 (in progress)