-* 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]].
-