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 now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
<!--
To play around with a **typed lambda calculus**, which we'll look at later
Topics: Recursion with Fixed Point Combinators
+(4 Oct) Lecture notes for Week 4
+
<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
-->