⇤ ← Revision 1 as of 2004-11-07 19:22:38
Size: 74
Comment:
|
← Revision 2 as of 2004-11-07 19:22:51 ⇥
Size: 75
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
The LeastFixedPoint of a function f is the smallest x such that f(x) = x | The Least FixedPoint of a function f is the smallest x such that f(x) = x |
The Least FixedPoint of a function f is the smallest x such that f(x) = x