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

Index - K

KindOfData.Type.Natural
KProxy 
1 (Data Constructor)Data.Type.Natural
2 (Type/Class)Data.Type.Natural