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

Index - M

MaxData.Type.Natural
maxData.Type.Natural
maxCommData.Type.Natural
maxLeqLData.Type.Natural
maxLeqRData.Type.Natural
MaxSym0Data.Type.Natural
MaxSym1Data.Type.Natural
MaxSym2Data.Type.Natural
maxZLData.Type.Natural
maxZRData.Type.Natural
MinData.Type.Natural
minData.Type.Natural
minCommData.Type.Natural
minLeqLData.Type.Natural
minLeqRData.Type.Natural
MinSym0Data.Type.Natural
MinSym1Data.Type.Natural
MinSym2Data.Type.Natural
minusCongEqData.Type.Natural
minusNilpotentData.Type.Natural
multAssociativeData.Type.Natural
multCommData.Type.Natural
multCongLData.Type.Natural
multCongRData.Type.Natural
multOneLData.Type.Natural
multOneRData.Type.Natural
multPlusDistrData.Type.Natural
multZLData.Type.Natural
multZRData.Type.Natural