type-natural-0.0.2.0: 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
%:/=Data.Type.Natural
%:<<=Data.Type.Natural
%:==Data.Type.Natural
%:||Data.Type.Natural
%==%Data.Type.Natural