X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=b043fd81d29f99532f02909e8db370905858f129;hp=b8a6d95eec25d11c838ae8bff4c7c737b74aff03;hb=4f33abf0dbdcd569367bd26d1c0f1ece6ea0629d;hpb=e21bb64a951b02493411a2366977be89f6ad4961 diff --git a/index.mdwn b/index.mdwn index b8a6d95e..b043fd81 100644 --- a/index.mdwn +++ b/index.mdwn @@ -8,7 +8,9 @@ the Linguistics building at 10 Washington Place, in room 103 (front of the first One student session to discuss homeworks will be held every Wednesday from 5-6, in Linguistics room 104 (back of the first floor). -## [[Index of Content (lecture notes and more)|content]] ## +## [[Index of Main Content|content]] (lecture notes and more) ## + +## [[Offsite Readings|readings]] ## ## Announcements ## @@ -73,14 +75,31 @@ what you think you need in order to solve the problem. > Topics: [[Order in programming languages and natural language|topics/week1 order]]; -[[Introduction to functional programming|topics/week1]]; +[[Introduction to functional programming|topics/week1 kapulet intro]]; [[Homework|exercises/assignment1]]; -[[Advanced notes|topics/week1 advanced notes]] +[[Advanced notes|topics/week1 kapulet advanced]] +(**Intermezzo**) +> Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]]; +The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]]; +[[What do words like "interpreter" and "compiler" mean?|ecosystem]] (in progress) +(**[[Lambda Evaluator|code/lambda evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the (upcoming) homework questions works correctly. + +(**Week 2**) Thursday 5 February 2015 +> Topics: +[[Intro to the Lambda Calculus|topics/week2 lambda intro]]; +[[Advanced notes|topics/week2 lambda advanced]]; +[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]; +Homework (in progress) +> Also, if you're reading the Hankin book, try reading Chapters 1-3. You will most likely need to come back again and read it multiple times; but this would be a good time to make the first attempt. + + +