RosettaCodeData/Task/Fibonacci-sequence/Purity/fibonacci-sequence-1.purity

6 lines
170 B
Plaintext

data Fib1 = FoldNat
<
const (Cons One (Cons One Empty)),
(uncurry Cons) . ((uncurry Add) . (Head, Head . Tail), id)
>