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.
Should be fixed in TS.
in ts same problem..
It definitely happens in ruby (too): see this or this...
cool
I don't doubt you are correct, but I did this more than a few braincells ago and can no longer read the description or my solution.
I'd suggest suggesting a new fixed test to the kata author ( because this might happen in other languages as well ).
I updated the generation of the random string. Hopefully this shouldn't happen anymore.
Because changing the requirements of an approved kata is not good.
Ok. I have increased the acceptable error for the random tests
Thanks for this link
there's https://github.com/Codewars/codewars.com/wiki/List-of-Possible-Duplicate-Kata
They both are approved, how to solve this issue now?
Fixed
No, it is not abuse of logic:
fix (S . (* Z))
should have 1 ===S Z
as fixpoint, becauseS . (* Z) $ S Z = S Z
(1 + 1 * 0 = 1); and your definition successfully yields it forfix (S . (Z *)) = S Z
.This comment is hidden because it contains spoiler information about the solution