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.3-c2d8fa4

Tara