There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
-There's also a page of [advanced challenges and techniques](/lambda_advanced) for the untyped lambda-calculus.
-
<!--
To play around with a **typed lambda calculus**, which we'll look at later