6 lines
170 B
Text
6 lines
170 B
Text
|
data Fib1 = FoldNat
|
||
|
|
<
|
||
|
|
const (Cons One (Cons One Empty)),
|
||
|
|
(uncurry Cons) . ((uncurry Add) . (Head, Head . Tail), id)
|
||
|
|
>
|