Idris2Doc : Data.Integral

Data.Integral

Definitions

even : Integraln=>Eqn=>n->Bool
Visibility: export
odd : Integraln=>Eqn=>n->Bool
Visibility: export