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.
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.
For Bash the sample test code is wrong and will not accept a solution THAT IS ACCEPTED BY THE FINAL TEST!
This is wasting everybody's time.
Yes, I eventually figured it out, but that wasted a lot of my time. And that test is not even accurate.
Better would be something like :
no hardcoded date or time (sub)strings in your code
Doesnt it just mean you should have no date or time in your code? To avoid hardcoding? It seems you figured that out already though
What the heck does this error message supposed to mean? Are we doing a 7Kyu kata or some kind of puzzle?
no date/time in your code
LOL! Yeah, that was a stupid oversight.
Loading more items...