Fixed.

Fixed.

Seems to be fixed by fork above, but limiting code length should not be done on a non-code-golf kata, especially when hardcoding the task is actually harder than writing a solution for it.

Funny kata on the ASCII art series, well done.

python new test frameworks

Great Kata. Although I have had zero prior experience with Haskell, type families, datakinds, and GADTs -- whatever that may be -- I find this instructive, enjoyable, and somewhat challenging. This is a great introduction to the basics of mathematical logic. You need only to read between the lines, get the gist of what you're looking at, draw the picture in your head, and voila. Easy 2 kyu kata.

PHP test only throws:
Parse error: syntax error, unexpected '<', expecting end of file in /home/codewarrior/run.php on line 10
before my function is even called.

New Java Translation

Approved

Prolog translation

Well, it is BF, so not a surprise there, lol

Cool. How did you get the multiplication parts working? I'm kinda stuck with oddTimesOdd and oddTimesEven.

But professor, my induction is correct! It compiled in Haskell!