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.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
>=?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
>?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin