From 120431d951d97e47c6b80f91f41e2c352c073703 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Feb 2015 01:23:37 -0500 Subject: [PATCH] add --- 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 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`: -- 2.11.0