Fibonacci - 0.1.0

Stdlib.Data.Nat.Base

Definitions

builtin nat type NatSource#

Inductive natural numbers. I.e. whole non-negative numbers.

Constructors

| zero : Nat
| suc : NatNat

builtin nat-plus + : NatNatNatSource#

Addition for Nats.

builtin nat-mul * : NatNatNatSource#

Multiplication for Nats.

builtin nat-sub sub : NatNatNatSource#

Truncated subtraction for Nats.

builtin nat-udiv terminating udiv : NatNatNatSource#

Division for Nats. Returns zero if the first element is zero.

builtin nat-div div : NatNatNatSource#

Division for Nats.

builtin nat-mod mod : NatNatNatSource#

Modulo for Nats.