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