Contents
Index
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
Lit
Data.Nat
Nat
Data.Nat
natMul
Data.Nat
natPlus
Data.Nat
S
Data.Nat
SLit
Data.Nat
SNat
Data.Nat
SSym0
Data.Nat
SSym0KindInference
Data.Nat
SSym1
Data.Nat
Z
Data.Nat
ZSym0
Data.Nat