This one... meeeeeeh! Not very well written. I did NOT get this "remove comment above" part nor did I understand why "cannUseFun" failed. None of that is self-explanatory.
I removed the commenting instead of the comment first... :-D :-D
Please make the instructions and setup MORE clear.
The solution is so simple compared to getting this run.
Why is the failing test named "cannot use fun"??? Why do you include text that you parse at all? Nobody expects the submitted code to be scanned...
Get to know LambdaCase from your comment!
This kata only seems to work on GHC 8.2.
Let's see if we can approve this at 5 kyu, I'll re-raise this issue if not.
UPDATE: Done - it's still one kyu rank above the agreed average but much better than the previous 2 kyu ranking. I guess it's time for Agda to leave Beta once and for all ;-)
Changed estimated rank to the lowest possible one: 5kyu
Note to moderators: This Kata is not yet ready for re-approval - its average assessed rank needs to be at most 6 kyu before it can be considered for re-approval.
See the Wiki page for more details.
Re-approved at 5 kyu. IMO it's still slightly overranked but it'll do.
Re-approved at 6 kyu. IMO it's still slightly overranked but it'll do.
Is this kata broken? The default test suite is complaining about a missing main.
Reranked to the lowest possible one -- 6 kyu. Your turn.
Reset my assessment to 8 kyu. Changed estimated rank to the lowest possible one -- 5 kyu. Approved to the lowest possible rank -- 5 kyu. Idk if it can be made to 6 kyu tbh
Reranked to the lowest possible one -- 5 kyu. Your turn.
I got the same result, and cheated to pass the test by changing the traversal order. :)