From 579d2f1e8dcf2485a09c6a318f0017c0e577963b Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Mar 2015 19:50:22 -0400 Subject: [PATCH] add #primed --- topics/week4_fixed_point_combinators.mdwn | 1 + 1 file changed, 1 insertion(+) diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn index 20c29748..a8d1a749 100644 --- a/topics/week4_fixed_point_combinators.mdwn +++ b/topics/week4_fixed_point_combinators.mdwn @@ -519,6 +519,7 @@ Many fixed-point combinators have been discovered. (And as we've seen, some fixed-point combinators give us models for building infinitely many more, non-equivalent fixed-point combinators.) + Two of the simplest: Θ′ ≡ (\u h. h (\n. u u h n)) (\u h. h (\n. u u h n)) -- 2.11.0