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