Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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.
+There's also a page of [[miscellaneous lambda challenges and advanced topics]].
+
<!--
-#Miscellaneous challenges and advanced topics, for untyped lambda calculus#
-
1. How would you define an operation to reverse a list? (Don't peek at the
[[lambda_library]]! Try to figure it out on your own.) Choose whichever
implementation of list you like. Even then, there are various strategies you