germax26/TheHoTTGame
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix tiny typo in Quest3.agda

Browse Source
This commit is contained in:
Tan Yee Jian 2024-04-05 18:28:48 +08:00 committed by GitHub
parent d880d951ae
commit 17b53705be
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
0Trinitarianism/Quest3.agda
View File

@ -6,6 +6,6 @@ _+_ : ℕ → ℕ → ℕ
n + m = {!!} n + m = {!!}
{- {-
Write here you proof that the sum of Write here your proof that the sum of
even naturals is even. even naturals is even.
-} -}