From: jim Date: Mon, 23 Feb 2015 06:23:37 +0000 (-0500) Subject: add X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=120431d951d97e47c6b80f91f41e2c352c073703 add --- 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`: