From b8b608cf4676719fe8102794b4ffd48d1ea0a329 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 2 Oct 2010 15:37:38 -0400 Subject: [PATCH] edits --- week4.mdwn | 3 +++ 1 file changed, 3 insertions(+) diff --git a/week4.mdwn b/week4.mdwn index e6bab7a1..aa0fcf74 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -171,3 +171,6 @@ so A 4 x is to A 3 x as hyper-exponentiation is to exponentiation... * What *exactly* is primitive recursion? +* I hear that `Y` delivers the *least* fixed point. Least + according to what ordering? How do you know it's least? + Is leastness important? -- 2.11.0