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

Index - <

<Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
<=Data.Type.Natural, Data.Type.Natural.Builtin
<=?Data.Type.Natural, Data.Type.Natural.Builtin
<?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin