data-nat-0.1.2: data Nat = Zero | Succ Nat (Index)

data-nat-0.1.2: data Nat = Zero | Succ Nat

Index

diff	Data.Nat
foldNat	Data.Nat
infinity	Data.Nat
Nat	Data.Nat
nat	Data.Nat
Succ	Data.Nat
unfoldNat	Data.Nat
Zero	Data.Nat