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 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
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