5 lines
154 B
Text
5 lines
154 B
Text
fibLazy : Lazy (List Nat)
|
|
fibLazy = 0 :: 1 :: zipWith (+) fibLazy (
|
|
case fibLazy of
|
|
(x::xs) => xs
|
|
[] => [])
|