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.
Thanks, fixed.
Reasonable, the kata is now fixed.
Sorry, I see the typo...
Thanks for reporting
I don't understand what you mean...
Thank you for suggestion.
Fixed
Fixing the typo can cause all the solutions not passing. So I decide not to fix it.
emmmm, thanks for reporting.
Currently I have no idea how to fix it....
It seems that I should constrain the type
Anot to be defined recursively but I do not think agda has the ability.agda translation
Approved, thx!
Approved. Thank you for translation!
Fixed by checking type of
left,rightandcommin the test.approved, thx.
yesyesyes
Import statements added.
Loading more items...