[[!toc]]
-#These notes return to the topic of fixed point combiantors for one
- more return to the topic of fixed point combinators#
+#These notes return to the topic of fixed point combiantors for one more return to the topic of fixed point combinators#
Q: How do you know that every term in the untyped lambda calculus has
a fixed point?