3 lines
80 B
Text
3 lines
80 B
Text
|
dec fibs : list num;
|
||
|
|
--- fibs <= fs whererec fs == 0::1::map (+) (tail fs||fs);
|