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](/advanced) for the untyped lambda-calculus.
+There's also a page of [[miscellaneous lambda challenges and advanced topics]].
+
<!--