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

Index - S

SData.Type.Natural
sAndPlusOneData.Type.Natural
sEightData.Type.Natural
sEighteenData.Type.Natural
sElevenData.Type.Natural
SevenData.Type.Natural
sevenData.Type.Natural
SevenSym0Data.Type.Natural
SeventeenData.Type.Natural
seventeenData.Type.Natural
SeventeenSym0Data.Type.Natural
sFifteenData.Type.Natural
sFiveData.Type.Natural
sFourData.Type.Natural
sFourteenData.Type.Natural
SingData.Type.Natural
singData.Type.Natural
singByProxyData.Type.Natural
singByProxy#Data.Type.Natural
singFun1Data.Type.Natural
singFun2Data.Type.Natural
singFun3Data.Type.Natural
singFun4Data.Type.Natural
singFun5Data.Type.Natural
singFun6Data.Type.Natural
singFun7Data.Type.Natural
singFun8Data.Type.Natural
SingFunction1Data.Type.Natural
SingFunction2Data.Type.Natural
SingFunction3Data.Type.Natural
SingFunction4Data.Type.Natural
SingFunction5Data.Type.Natural
SingFunction6Data.Type.Natural
SingFunction7Data.Type.Natural
SingFunction8Data.Type.Natural
SingIData.Type.Natural
SingInstance 
1 (Type/Class)Data.Type.Natural
2 (Data Constructor)Data.Type.Natural
singInstanceData.Type.Natural
SingKindData.Type.Natural
singThatData.Type.Natural
SixData.Type.Natural
sixData.Type.Natural
SixSym0Data.Type.Natural
SixteenData.Type.Natural
sixteenData.Type.Natural
SixteenSym0Data.Type.Natural
SLambdaData.Type.Natural
sMaxData.Type.Natural
sMinData.Type.Natural
sN0Data.Type.Natural
sN1Data.Type.Natural
sN10Data.Type.Natural
sN11Data.Type.Natural
sN12Data.Type.Natural
sN13Data.Type.Natural
sN14Data.Type.Natural
sN15Data.Type.Natural
sN16Data.Type.Natural
sN17Data.Type.Natural
sN18Data.Type.Natural
sN19Data.Type.Natural
sN2Data.Type.Natural
sN20Data.Type.Natural
sN3Data.Type.Natural
sN4Data.Type.Natural
sN5Data.Type.Natural
sN6Data.Type.Natural
sN7Data.Type.Natural
sN8Data.Type.Natural
sN9Data.Type.Natural
SNatData.Type.Natural
snatData.Type.Natural
sNatToIntData.Type.Natural
sNatToOrdData.Type.Ordinal
sNatToOrd'Data.Type.Ordinal
snEqZAbsurdData.Type.Natural
sNineData.Type.Natural
sNineteenData.Type.Natural
SomeSing 
1 (Type/Class)Data.Type.Natural
2 (Data Constructor)Data.Type.Natural
sOneData.Type.Natural
SSData.Type.Natural
sSData.Type.Natural
sSevenData.Type.Natural
sSeventeenData.Type.Natural
sSixData.Type.Natural
sSixteenData.Type.Natural
SSym0Data.Type.Natural
SSym1Data.Type.Natural
sTenData.Type.Natural
sThirteenData.Type.Natural
sThreeData.Type.Natural
sTwelveData.Type.Natural
sTwentyData.Type.Natural
sTwoData.Type.Natural
succCongEqData.Type.Natural
succInjectiveData.Type.Natural
SuccLeqSuccData.Type.Natural
succPlusLData.Type.Natural
succPlusRData.Type.Natural
SZData.Type.Natural
sZData.Type.Natural
sZeroData.Type.Natural