X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=d4b51d12cebf63325e886731238873e70672ed05;hp=aaab7a5158e21debbf5500696da14ea453868e23;hb=26e3d87f0de3c34fcf1c94878cb0760ff9206bf7;hpb=ee79965dbd07b39cd3ab7d489ba87b8cc5e2b68b diff --git a/content.mdwn b/content.mdwn index aaab7a51..d4b51d12 100644 --- a/content.mdwn +++ b/content.mdwn @@ -5,13 +5,15 @@ week in which they were introduced. ## Topics by content ## +* [[What is computation?|topics/week3_what_is_computation]] + * Functional Programming * [[Introduction|topics/week1 kapulet intro]] * [[Week 1 Advanced notes|topics/week1 kapulet advanced]] * [["Rosetta Stone" page #1 for Kaupulet, Scheme, OCaml, Haskell|rosetta1]] * Offsite links for help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]] - * List Comprehensions + * [[List Comprehensions|topics/week3 lists#comprehensions]] * Order, "static versus dynamic" @@ -27,7 +29,7 @@ week in which they were introduced. * [[Tuples|topics/week2 encodings#tuples]] * [[Lists|topics/week2 encodings#lists]], v1 (as right-folds) * [[Numbers|topics/week2 encodings#numbers]], v1 ("Church's encoding") - * How to get the `tail` of v1 lists? + * [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]] * Reduction Strategies and Normal Forms @@ -55,7 +57,8 @@ Week 2: Week 3: -* More on Lists +* [[What is computation?|topics/week3_what_is_computation]] +* [[More on Lists|topics/week3 lists]] Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus * [[Combinatory Logic|topics/week3 combinatory logic]] * Reduction Strategies and Normal Forms