5 lines
147 B
Text
5 lines
147 B
Text
|
dec fib : num -> num;
|
||
|
|
--- fib n <= l (1, 0, n)
|
||
|
|
whererec l == \(a,b,succ c) => if c<1 then a else l((a+b),a,c)
|
||
|
|
|(a,b,0) => 0;
|