From: Jim Pryor Date: Tue, 19 Oct 2010 18:58:07 +0000 (-0400) Subject: more index reorg, links to learning Scheme/OCaml X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=18edebb38e298f3bed29e4cf76dd22fdc46e5f77 more index reorg, links to learning Scheme/OCaml Signed-off-by: Jim Pryor --- diff --git a/index.mdwn b/index.mdwn index e2f7f399..dbb8a4bd 100644 --- a/index.mdwn +++ b/index.mdwn @@ -21,16 +21,6 @@ issues from material we've discussed, and help get a better footing for what we'll be doing the next week. It would be smart to make a serious start on that week's homework, for instance, before the session. -* There is now a [[lambda evaluator]] you can use in your browser (no need to -install any software). It can help you check whether your answer to some of the -homework questions works correctly. - - There is also now a [library](/lambda_library) of lambda-calculus -arithmetical and list operations, some relatively advanced. - - An evaluator with the definitions used for homework 3 -preloaded is available at [[assignment 3 evaluator]]. - * Henceforth, unless we say otherwise, every homework will be "due" by Sunday morning after the Monday seminar in which we refer to it. (Usually we'll post the assignment shortly before the seminar, but don't @@ -64,6 +54,13 @@ what you think you need in order to solve the problem. ##[[Lambda Evaluator]]## +Usable in your browser. It can help you check whether your answer to some of +the homework questions works correctly. + +There is also now a [library](/lambda_library) of lambda-calculus +arithmetical and list operations, some relatively advanced. + + ## Lecture Notes and Assignments ## (13 Sept) Lecture notes for [[Week1]]; [[Assignment1]]. @@ -93,6 +90,14 @@ preloaded is available at [[assignment 3 evaluator]]. [Advanced Lambda Calculus Topics](/advanced_lambda) +##Scheme and OCaml## + +See [below](#installing) for how to get the programming languages running on your computer. + +* Links for help [[learning Scheme]] + +* Links for help [[learning OCaml]] + ##[[Offsite Reading]]## @@ -227,6 +232,7 @@ other. But these languages also have a lot in common, and if you're familiar with one of them, it's not difficult to move between it and the other. + [[How to get the programming languages running on your computer]] [[Family tree of functional programming languages]]