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

Index - @

@+ 
1 (Function)Data.Type.Ordinal
2 (Function)Data.Type.Ordinal.Builtin
3 (Function)Data.Type.Ordinal.Peano
@@ 
1 (Type/Class)Data.Type.Natural
2 (Function)Data.Type.Natural
@@@#@$Data.Type.Natural
@@@#@$$Data.Type.Natural
@@@#@$$$Data.Type.Natural