12 lines
186 B
Agda
12 lines
186 B
Agda
module 0Trinitarianism.Quest3 where
|
||
|
||
open import 0Trinitarianism.Preambles.P3
|
||
|
||
_+_ : ℕ → ℕ → ℕ
|
||
n + m = {!!}
|
||
|
||
{-
|
||
Write here your proof that the sum of
|
||
even naturals is even.
|
||
-}
|