X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=aaab7a5158e21debbf5500696da14ea453868e23;hp=d725c61c39bbd7b78ed317ea7da93aa68f8d4bfb;hb=31cebc8050836005ee17dd1d20ae81b2ab9afa3c;hpb=0d1c2b040688535bc3e54464b9ffc230dbbd08c6 diff --git a/content.mdwn b/content.mdwn index d725c61c..aaab7a51 100644 --- a/content.mdwn +++ b/content.mdwn @@ -57,7 +57,7 @@ Week 3: * More on Lists Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus -* [[Combinatorial Logic|topics/week3 combinatory logic]] +* [[Combinatory Logic|topics/week3 combinatory logic]] * Reduction Strategies and Normal Forms * Homework for week 3