We collect here versions of the programming languages we'll be looking at that you can run in your web browser:
+* [[Untyped lambda calculus evaluator|code/lambda_evaluator]] on this site
+
<!--
-* [[Untyped lambda calculus evaluator]] on this site; also a [library](/lambda_library) of lambda-calculus arithmetical and list operations (some relatively advanced)
+; also a [[library|code/lambda_library]] of lambda-calculus arithmetical and list operations (some relatively advanced)
-->
* [Scheme](http://tryscheme.sourceforge.net/)
The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]] (in progress);
[[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]]: 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.
+ There is also now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+-->
+
+(**Week 2**) Thursday 5 February 2015
+> Notes on their way...
+
+<!--
We've added a [[Monad Library]] for OCaml.
We've posted a [[State Monad Tutorial]].
-->