Fibonacci - 0.1.0

Source
Index

Fibonacci

Contents

Description
Definitions

Description

Definitions

fib : Nat → Nat → Nat → NatSource #

fibonacci : Nat → NatSource #

main : IOSource #

Powered by Juvix 0.3.5-d869ce4

Tara