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

Index - A

absurdOrdData.Type.Ordinal
ApplyData.Type.Natural
applySingData.Type.Natural