Fibonacci - 0.1.0
Source
Index
Fibonacci
Contents
Description
Definitions
Description
Definitions
fib
:
Nat
→
Nat
→
Nat
→
Nat
Source
#
fibonacci
:
Nat
→
Nat
Source
#
main
:
IO
Source
#