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.
duplicate report
Because of the each bit in n part;
11
is not represented as1011
for each bit in n, but rather as0..0001011
(depending on size of int).The description states:
And:
What is inconsistent here?
Thanks for forking! It's shorter, but I just wanted to demonstrate how compilers pool string constants...
This comment is hidden because it contains spoiler information about the solution
I'm not sure I trust it if a non-existent element was passed. It seems to works ok but maybe it is by fluke because my
d
would still be unassigned :-(really nice!
LOL! It takes 15+ seconds to compile this in Agda
If you post it under, or with your issue, then pretty much anyone who sees the issue can approve.
Removed the link
Your solution works fine for me in sample test? Can you provide an example solution which doesnt work for sample test but does work for full test? I suspect you simply started this kata a long time ago and did not reset the sample tests, and thus had an old version.
Alright, who is going to see such forks and approve?
Alright I updated the message. When you have small improvements like this feel free to make a quick fork.
Loading more items...