type-natural-0.6.1.1: Type-level natural and proofs of their properties.
Data.Type.Natural.Class
Description
Re-exports arithmetic and order structure for peano arithmetic.
module Data.Type.Natural.Class.Arithmetic
module Data.Type.Natural.Class.Order