X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=aa0fcf74367f9a2e1ff08b11b6f6a6876b1353b7;hp=e6bab7a1d8aafb2d4d70d0620851fe074e09da0d;hb=b8b608cf4676719fe8102794b4ffd48d1ea0a329;hpb=ec55bd71ab1beda4348105a40324947d8753f4e3

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?