Idris2Doc : Data.Nat.Fib

Data.Nat.Fib