Index - O
One | Data.Type.Natural |
one | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |
type-natural-0.0.4.0: Type-level natural and proofs of their properties.
Index - O
One | Data.Type.Natural |
one | Data.Type.Natural |
Ordinal | Data.Type.Ordinal |
ordToInt | Data.Type.Ordinal |
ordToSNat | Data.Type.Ordinal |
OS | Data.Type.Ordinal |
OZ | Data.Type.Ordinal |