/Prelude-v22.0.0/Natural/odd.dhall

Copy path to clipboard

Returns True if a number is odd and returns False otherwise

Examples

odd 3 ≡ True
odd 0 ≡ False

Source

--| Returns `True` if a number is odd and returns `False` otherwise
let odd
: Natural → Bool
= Natural/odd

let example0 = assert : odd 3 ≡ True

let example1 = assert : odd 0 ≡ False

in odd