From 17b53705bec116531bdae58c4df4115877ee6e69 Mon Sep 17 00:00:00 2001 From: Tan Yee Jian Date: Fri, 5 Apr 2024 18:28:48 +0800 Subject: [PATCH] Fix tiny typo in Quest3.agda --- 0Trinitarianism/Quest3.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/0Trinitarianism/Quest3.agda b/0Trinitarianism/Quest3.agda index 0df6b51..83f2a41 100644 --- a/0Trinitarianism/Quest3.agda +++ b/0Trinitarianism/Quest3.agda @@ -6,6 +6,6 @@ _+_ : ℕ → ℕ → ℕ n + m = {!!} {- -Write here you proof that the sum of +Write here your proof that the sum of even naturals is even. -}