3 lines
114 B
Text
3 lines
114 B
Text
|
type (Stream A?,,,Unfold) = gfix X. A? . X?
|
||
|
|
data Fib2 = Unfold ((outl, (uncurry Add, outl))) ((curry id) One One)
|