singleton-nats-0.4.0.4: Unary natural numbers relying on the singletons infrastructure.

Index

LitData.Nat
NatData.Nat
NatAbsData.Nat
natAbsData.Nat
NatMinusData.Nat
natMinusData.Nat
NatMulData.Nat
natMulData.Nat
NatPlusData.Nat
natPlusData.Nat
PNumData.Nat
SData.Nat
SingData.Nat
SLitData.Nat
sLitData.Nat
SNatData.Nat
SNumData.Nat
SSData.Nat
SSym0Data.Nat
SSym0KindInferenceData.Nat
SSym1Data.Nat
SZData.Nat
ZData.Nat
ZSym0Data.Nat