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

Index - I

inclusionData.Type.Ordinal, Data.Type.Ordinal.Builtin
inclusion'Data.Type.Ordinal, Data.Type.Ordinal.Builtin
inductionData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
IsSuccData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin
IsZeroData.Type.Natural.Lemma.Arithmetic, Data.Type.Natural, Data.Type.Natural.Builtin