IdrisDoc: Data.Nat.Parity

Data.Nat.Parity

odd : Nat -> Bool
even : Nat -> Bool