Idris2Doc : Data.Integral

Data.Integral

Definitions

even : Integral n => Eq n => n -> Bool
Visibility: export
odd : Integral n => Eq n => n -> Bool
Visibility: export