Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
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.