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

Index - B

boolToClassLeqData.Type.Natural
boolToPropLeqData.Type.Natural
bugInGHCData.Type.Natural