Approved
This comment is hidden because it contains spoiler information about the solution
Approved. Thanks for translation!
Well I agree that this is not a good solution. I feel like with the help of sized-types or wf-induction I can get rid of this assertion
First Agda Kata!
Did you really published the translation?
Why it says "Kumite cannot publish with failed tests"..?
It can be simplified with a good definition of Add :)
Add
Oh my god! I'm too weak to write Idris QAQ
I'll make a new one. Bite the dust.
Can be fixed by adding import Rev. I've updated it and it's saying server timeout.
import Rev
For the same reason why some people go jogging with weights: pretty good training.
Loading collection data...
Approved
This comment is hidden because it contains spoiler information about the solution
Approved. Thanks for translation!
Well I agree that this is not a good solution. I feel like with the help of sized-types or wf-induction I can get rid of this assertion
Approved
First Agda Kata!
Did you really published the translation?
Why it says "Kumite cannot publish with failed tests"..?
It can be simplified with a good definition of
Add:)Oh my god! I'm too weak to write Idris QAQ
I'll make a new one. Bite the dust.
Can be fixed by adding
import Rev. I've updated it and it's saying server timeout.For the same reason why some people go jogging with weights: pretty good training.