X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=93b96479eee24fbd9eaf20994538e14413faa26f;hp=ee3065bb96781ddf310e7765aede0c347f382b01;hb=3b93f63eab0df949a60a4c672e2082a56a835b09;hpb=a08f7d8359ff7874aa01c5afa22dd6bf3fa6d2d9 diff --git a/content.mdwn b/content.mdwn index ee3065bb..93b96479 100644 --- a/content.mdwn +++ b/content.mdwn @@ -23,7 +23,7 @@ recursion. Definitions of factorial. Week 2: -* [[Intro to the Lambda Calculus|topics/week2 lambda intro]] +* [[Introduction to the Lambda Calculus|topics/week2 lambda intro]] * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]] * Encoding Booleans, Tuples, Lists, and Numbers (in progress) * Homework for week 2 (in progress)