Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
python new test frameworks
This comment is hidden because it contains spoiler information about the solution
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!
Uhh, hard
My code c++ passed all tests.
But I am gtting error from random test: Caught std::exception, what(): std::bad_alloc
What is that mean?
done.
Needs update to
GHC 9.2.x
Loading more items...