fib : (n : Nat) -> (x1 : Nat) -> (x2 : Nat) -> NatSource#

fibonacci (n : Nat) : NatSource#

main : IOSource#