Well, the ones that have been updated might not work with the old version, so on most, it will probably be disabled.

so it means in every haskell kata we can still select either versions, right? thanks for explaining :)

Its because some katas haven't been updated yet, so the version hasn't been removed yet. It will be removed eventually.

oh, okay. but it makes me wonder why we have the GHC 7 option listed though...

Make sure you have GHC 8.2 selected.

can compile using the test button, but when clicked "Attempt", following message showed up:

Kata/AdditionCommutesSpec.hs:12:8:
    Could not find module `Test.Hspec.Codewars'
    Perhaps you meant
      Test.Hspec.Compat
      Test.Hspec.Core (from hspec-2.2.4@hspec_GEAgkH1Gbr9BY0qzvd784f)
      Test.Hspec.Core.Tree
    Use -v to see a list of the files searched for.

Python parameter name should use snake_case

List of forbidden translations extended to include Lean

Considering that this proof is almost trivial in Coq/Agda, please add the following note to the beginning of the Kata Description:

Note to translators: This Kata is NOT accepting any translations to Coq/Agda due to the huge difference in difficulty between Haskell and those languages mentioned. Any translations violating this rule will be rejected without further reason.

Opening this as an Issue in order to enable editing in case the Kata author is inactive.

fixed.

For Haskell, the initial code module is SimpleTokeniser, whereas the test expects SimpleTokenizer.

Update to GHC 8.x.x?

Can you update to TS 3.3?