X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_fixed_point_combinators.mdwn;h=9c32b04ed8864c1b76cb5762fc2a086debee04a7;hp=3ac5db349a2d2cfb5ab9b439a99be748ef5db836;hb=c70ea8653fd391ba094c8a64419f3532af2076ce;hpb=d0a881712576b267e3d1d4451b71cefca025890e diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn index 3ac5db34..9c32b04e 100644 --- a/topics/week4_fixed_point_combinators.mdwn +++ b/topics/week4_fixed_point_combinators.mdwn @@ -269,6 +269,7 @@ it's not complete, since we don't know what value to use for the symbol `LENGTH`. Technically, it has the status of an unbound variable. + Imagine now binding the mysterious variable, and calling the resulting term `h`: