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

Index - %

%*Data.Type.Natural
%**Data.Type.Natural
%+Data.Type.Natural
%-Data.Type.Natural
%:*Data.Type.Natural
%:**Data.Type.Natural
%:+Data.Type.Natural
%:-Data.Type.Natural
%:-.Data.Type.Natural.Class.Order, Data.Type.Natural.Class