8 lines
124 B
Agda
8 lines
124 B
Agda
even : ℕ → Bool
|
||
odd : ℕ → Bool
|
||
|
||
even zero = true
|
||
even (suc n) = odd n
|
||
|
||
odd zero = false
|
||
odd (suc n) = even n
|