7 kyu
A random fact about filtering
88 of 126donaldsebleung
Loading description...
Theorem Proving
Puzzles
This comment has been reported as {{ abuseKindText }}.
Show
This comment has been hidden. You can view it now .
This comment can not be viewed.
- |
- Reply
- Edit
- View Solution
- Expand 1 Reply Expand {{ comments?.length }} replies
- Collapse
- Spoiler
- Remove
- Remove comment & replies
- Report
{{ fetchSolutionsError }}
-
-
Your rendered github-flavored markdown will appear here.
-
Label this discussion...
-
No Label
Keep the comment unlabeled if none of the below applies.
-
Issue
Use the issue label when reporting problems with the kata.
Be sure to explain the problem clearly and include the steps to reproduce. -
Suggestion
Use the suggestion label if you have feedback on how this kata can be improved.
-
Question
Use the question label if you have questions and/or need help solving the kata.
Don't forget to mention the language you're using, and mark as having spoiler if you include your solution.
-
No Label
- Cancel
Commenting is not allowed on this discussion
You cannot view this solution
There is no solution to show
Please sign in or sign up to leave a comment.
It would be nice if codewars supported idris2 since idris is no longer maintained
This cannot be handled at a kata level. I don't know idris so I cannot tell you, but maybe report an issue on github: https://github.com/codewars/content-issues/issues
I would advice you to ask for advice on the Discord Codewars channel (the link is in the left panel).
This Kata is not compatible with Lean v3.18.4 as of 16/08/2020 and needs to be upgraded.
Fixed
This comment has been hidden.
Approved ;-)
Note to moderators: This Kata is not yet ready for re-approval. Its current average assessed rank is
6 kyubut we need to bring it down to at most7 kyubefore it can be considered for re-approval.See: Codewars/codewars.com#2001
Average assessed rank of this Kata is now
7 kyu, thanks to all of those who participated in the re-ranking :+1:Idris translation
This comment has been hidden.
I very-very (very-very-very-very) recommend you to mark this issue as spoiler, because I learnt how to hack this by this comment..
My mistake. I marked my comment as having spoilers.
This comment has been hidden.
This comment has been hidden.
This comment has been hidden.
Thanks for the clarification, I have modified both the Sample and Submit Tests as per your suggestion.