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