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

Index

%:*Data.Nat
%:+Data.Nat
:*Data.Nat
:*$Data.Nat
:*$$Data.Nat
:+Data.Nat
:+$Data.Nat
:+$$Data.Nat
LitData.Nat
NatData.Nat
natMulData.Nat
natPlusData.Nat
SData.Nat
SLitData.Nat
SNatData.Nat
SSym0Data.Nat
SSym0KindInferenceData.Nat
SSym1Data.Nat
ZData.Nat
ZSym0Data.Nat