Index - D
Demote | Data.Type.Natural |
DemoteRep | Data.Type.Natural |
DiffNat | |
1 (Type/Class) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
2 (Data Constructor) | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
type-natural-0.7.1.2: Type-level natural and proofs of their properties.