IdrisDoc
: Data.Nat.Parity
Index
Data.Nat.Parity
odd
:
Nat
->
Bool
even
:
Nat
->
Bool