X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=850046b866afb5a1e94d99d0c970444dbdf8cc53;hp=c2957ecb65fc4af10464891cf5d919aee0605ebf;hb=772e7860eda413e17abaa68e1a8c42c24bb19e27;hpb=b3e605498edcd1ab89edd66846aae0ebcacc0b5e diff --git a/content.mdwn b/content.mdwn index c2957ecb..850046b8 100644 --- a/content.mdwn +++ b/content.mdwn @@ -24,7 +24,7 @@ recursion. Definitions of factorial. Week 2: * [[Intro to the Lambda Calculus|topics/ week2 lambda calculus intro]] -* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus advanced notes]] +* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus fine points]] * Encoding Booleans, Tuples, Lists, and Numbers (in progress) * Homework for week 2 (in progress)