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