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.
This method is cheating - it considers all objects with TL type are equal.
C# tests are failing - firstly because AreEqual is trying to compare instances instead of values (which always fails, because of new), two - when trying to attempt, they fail to compile because of the lack of the function IsoMaybe (changing Maybe to IsoMaybe in sources helps somehow, but still leaves us with the first problem).
So - basically, the kata for C# is broken, it is worth to consider some changes.
Another test that should fail:
Testing horizontal ships after vertical leads to an error of treating 2- and 1-square ships ((5,4)-(6,4) and (5,6)) together as one 3-square ship.
The length variable stops at 2 for the vertical ship, and then we test horizontal ship which is one square away as it was a continuation of the first one.
It is not an increasing sequence.
This comment is hidden because it contains spoiler information about the solution