X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=470f703dfcab40ead5d929f2efcae92307912210;hp=3473166d37cbd91156a918b1b6e4e6aae3a4036c;hb=020566910974049e4cd9cbc9279a781768e1817c;hpb=b7d544b59e83f12e8af173de4ddfdaa821832dbc diff --git a/index.mdwn b/index.mdwn index 3473166d..470f703d 100644 --- a/index.mdwn +++ b/index.mdwn @@ -17,7 +17,7 @@ One student session to discuss homeworks will be held every Wednesday from 5-6, * This wiki will be undergoing lots of changes throughout the semester, and particularly in these first few days as we get it set up, migrate over some of the content from the previous time we taught this course, and iron out various technical wrinkles. Please be patient. When you sit down to read the wiki, it's a good idea to always hit "Refresh" in your browser to make sure you're reading the latest additions and refinements of the website. (Sometimes these will be tweaks, other times very substantial. Updates will happen at miscellaneous hours, sometimes many times in a given day.) - If you've eager to learn, though, you don't have to wait on us to be ready to serve you. You can go look at the [archived first version](http://lambda1.jimpryor.net) of this course. Just keep in mind that + If you're eager to learn, though, you don't have to wait on us to be ready to serve you. You can go look at the [archived first version](http://lambda1.jimpryor.net) of this course. Just keep in mind that the text and links there haven't been updated. And/or you can get started on installing the software and ordering some of the books. * As we mentioned in class, if you're following the course and would like to be emailed occasionally, send an email to , saying "lambda" in the subject line. Most often, we will just post announcements to this website, rather than emailing you. But occasionally an email might be more appropriate. @@ -75,22 +75,28 @@ 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]] (in progress); +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 homework questions works correctly. +(**[[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 -> Notes on their way... +> 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|exercises/assignment2]] + +> 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.