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 |
type-natural-0.6.1.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.Class.Order, Data.Type.Natural.Class |