summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
834f168)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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.
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
* 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
+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]].
## Lecture Notes and Assignments ##
(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
[Advanced Lambda Calculus Topics](/advanced_lambda)
[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]]
+
familiar with one of them, it's not difficult to move between it and the
other.
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]]
[[How to get the programming languages running on your computer]]
[[Family tree of functional programming languages]]