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.
kata hint != kata suggestion
Seems to be fixed.
same! xD
Nope, issue with your code very likely ~~
Or you could make the argument that this way the type is simpler, so easier to comprehend for the target demographic ( which might yet have to learn about native polymorphic
always
).I suppose you didn't see the:
and the signature:-) Sorry for the ill-chosen name!
Sorry but I don't understand your issue: the signature is
countKprimes :: Int -> Int -> Int -> [Int]
.This comment is hidden because it contains spoiler information about the solution
Thanks for your feedback :D While I do agree that this Kata could've been ranked at
3 kyu
instead (the average rank assessment for this Kata while in Beta), the other Kata you mentioned was approved early when Idris was just added to Codewars (and Agda/Coq weren't even available then) so it was naturally overranked given that there weren't many similar Kata to compare against and the existing Haskell "theorem-proving" Kata used for reference were severely overranked since Haskellers don't typically do theorem-proving.This is the power of type driven programming.
refl is always a = a, b = b, c = c, etc. it is the isoPow/isoS/isoEither/isoTrans that get them into the right place.
'kay, as you want. ;)
you removed the other message, so I'll answer here instead ;)
[ ... ] (you found by yourself that it was actually valid ;) )
I forgot to warn you about that in the thread below: for some time there had been some differences across languages (was valid in some, invalid in others). After I went through all versions, we changed the bnf to have a valid
NameOrNumber
forExpression
. So it's good.Note: iirc you do C-like languages, right? We'd need a PU to add the random tests to those (based on java/ruby/python/JS versions). Could you take care of that after solving the kata?
edit:
yep ;)
na wait... you didn't undrstand what I meant. I "concatenated" two parts to show you the result:
leads you to:
so yes, that's perfectly valid.
Loading more items...