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

Index - %

%*Data.Type.Natural, Data.Type.Natural.Builtin
%+Data.Type.Natural, Data.Type.Natural.Builtin
%-Data.Type.Natural, Data.Type.Natural.Builtin
%-.Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
%<=?Data.Type.Natural, Data.Type.Natural.Builtin
%<?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
%>=?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
%>?Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin
%^Data.Type.Natural, Data.Type.Natural.Builtin
%~Data.Type.Natural, Data.Type.Natural.Builtin