Idris2Doc : Data.Nat.Fib

Data.Nat.Fib

Properties of Fibonacci functions

Definitions