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