Idris2Doc
: Data.Integral
Index
Default
Alternative
Black & White
Data.Integral
Definitions
even
:
Integral
n
=>
Eq
n
=>
n
->
Bool
Visibility
:
export
odd
:
Integral
n
=>
Eq
n
=>
n
->
Bool
Visibility
:
export