NOTE: the latest version is 3.0.1

README About Versions Source Modules

Numeric.Nat

Definition

type Nat

Naturals with zero.

Conversion

fromInt : Int -> Nat

Nat from Int

toInt : Nat -> Int

toInt Nat

Arithmetic

add : Nat -> Nat -> Nat

Add two Nats.

subtract : Nat -> Nat -> Nat

Subtract one Nat from another.

Primitives

Nat 0

Nat 1

Nat 2

Nat 3

Nat 4

Nat 5

successor : Nat -> Nat

Increment by 1

Modules