edits
[lambda.git] / index.mdwn
index e2f7f39..dbb8a4b 100644 (file)
@@ -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.
 
+<a name=installing></a>
 [[How to get the programming languages running on your computer]]
 
 [[Family tree of functional programming languages]]