edits

[lambda.git] / week4.mdwn

diff --git a/week4.mdwn b/week4.mdwn
index e6bab7a..aa0fcf7 100644 (file)
--- 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?