type-natural-1.0.0.0: Type-level natural and proofs of their properties.

Index - Z

Zero 
1 (Type/Class)Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
2 (Data Constructor)Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
ZeroLeqData.Type.Natural.Lemma.Order
zeroNoLTData.Type.Natural.Lemma.Order
ZeroOrSuccData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
zeroOrSuccData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin