X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_fixed_point_combinators.mdwn;h=a8d1a7497602c451a111b0470aac317097f2eac7;hp=20c2974826966af354518de09b5c1ebb7c994e29;hb=2fc82ab2161e3bb1005c2de0744594f269124a0d;hpb=4cc3097bf65831e8881b2aa70138609f71cf91a6 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))