4 lines
133 B
Text
4 lines
133 B
Text
fibRecursive : Nat -> Nat
|
|
fibRecursive Z = Z
|
|
fibRecursive (S Z) = (S Z)
|
|
fibRecursive (S (S n)) = fibRecursive (S n) + fibRecursive n
|