From: jim Date: Mon, 2 Mar 2015 16:41:05 +0000 (-0500) Subject: release existing versions X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e4e5cb2693460be272dfaf74d53f48b3a687ef62 release existing versions --- diff --git a/content.mdwn b/content.mdwn index 23f30a9e..28b122c3 100644 --- a/content.mdwn +++ b/content.mdwn @@ -16,6 +16,8 @@ week in which they were introduced. * [[List Comprehensions|topics/week3 lists#comprehensions]] * [[Unit and its usefulness|topics/week3 unit]] * More tips on using Scheme + * Types in OCaml and Haskell (will be posted soon) + * Practical advice for working with OCaml and/or Haskell (will be posted soon) * Order, "static versus dynamic" @@ -23,7 +25,7 @@ week in which they were introduced. * [[Reduction Strategies and Normal Forms in the Lambda Calculus|topics/week3_evaluation_order]] * [[Unit and its usefulness|topics/week3 unit]] -* The Lambda Calculus +* The Untyped Lambda Calculus * [[Introduction to the Lambda Calculus|topics/week2 lambda intro]] * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]] @@ -39,8 +41,13 @@ week in which they were introduced. * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]] +* [[Combinatory Logic|topics/week3 combinatory logic]] + +* Typed Lambda Calculi -* [[Combinatory Logic|topics/week3 combinatory logic]] + * [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated) + * [[System F|topics/week5 system F]] (will be updated) + * Types in OCaml and Haskell (will be posted soon) ## Topics by week ## @@ -84,4 +91,10 @@ Week 4: Week 5: +*Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and re-read the pages when the expanded versions are posted. + +* [[Simply-typed lambda calculus|topics/week5 simply typed]] +* [[System F|topics/week5 system F]] +* Types in OCaml and Haskell (will be posted soon) +* Practical advice for working with OCaml and/or Haskell (will be posted soon) * [[Homework for weeks 5 and 6|exercises/assignment5]]