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

Index - L

LeqData.Type.Natural
leqAnitsymmetricData.Type.Natural
LeqInstanceData.Type.Natural
leqLhsData.Type.Natural
leqnZElimData.Type.Natural
leqPredData.Type.Natural
leqReflData.Type.Natural
leqRhsData.Type.Natural
leqSnLeqData.Type.Natural
leqSnnAbsurdData.Type.Natural
leqSnZAbsurdData.Type.Natural
leqSuccData.Type.Natural
leqTransData.Type.Natural
LeqTrueInstanceData.Type.Natural