2.
n1:. n1<n 
(f:{f:(
)| 
x:. f(x) }. mu(f) = n1 f(mu(f)))
3. f : {f:(
)| x:. f(x) }
4. if f(0)
0 else 1+mu(
x.f(1+x)) fi = n
5.
f(0)
6. (
x.f(1+x)) 
{f:()| x:. f(x) }
mu(x.f(1+x))<n
n1:. n1<n (f:{f:()| x:. f(x) }. mu(f) = n1 f(mu(f)))
)| x:. f(x) }
0 else 1+mu(x.f(1+x)) fi = n
f(0)
x.f(1+x)) {f:()| x:. f(x) }
mu(x.f(1+x))<n| By: |
b:, x,y:T. b if b x else y fi = y |
None
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |