fib : Nat → Nat → Nat → NatSource#

fibonacci (n : Nat) : NatSource#

main : IOSource#