This kata has no useful directions. Can we please get rid of it? Surely, there are more sensible variations readily available.

Coq 8.15 should be permitted.

In the kata description where it says:

Round Brackets - Do not apply any syntax highlighting to these characters

It could be:

Round Brackets - Do not apply any syntax highlighting to these characters, but whats between them should be highlighted

I spent some time and a lot of coffee :'(

Lua translation!

Groovy: arguments to assertEquals are reversed. It should be assertEquals(expected, actual).

Java: the countChar test assertion message is very unhelpful (expected: <true> but was: <false>)

Nim translation moved from duplicate kata Alternate case.

What's wrong with the Groovy translation? Why is it not merged? Same thing for the Java translation

Random tests in Python do not contain any loops or no-ops, therefore only testing a subset of the specified behaviour.

Python fork which implements better random testing:
https://www.codewars.com/kumite/66c8182e4d7ff9aec7c3b877

If approved I'll port the changes to JS as well.

Python example in the description has a syntax error, since python comments start with #, but in description // is placed instead. When someone plans to change the python version of this kata, please replace that.

python new test framework

Haskell translation

Description does not mention the input and output type for corresponding class and instance methods for C#