Oh god, how I missed how the boolean logic should work :/

It would be nice to have a test on these, the other functions are straightforward if you know their haskelly equivalents.

I do not understand the type of these functions:

and' :: SKI (Bool' (Bool' a) -> Bool' a -> Bool' a)

Why isn't it:

and' :: SKI (Bool' a -> Bool' a -> Bool' a)

?

Thanks, I just fixed this!

Ah! Makes more sense, will try that!

I did see your comment and follow it. However, there are cases where the following are both valid solutions:

0000
1122
1122

0000
1111
2222

In that case, both solutions are valid, and both have the same width for the "first" element.

If there are multiple solutions, select the one with the largest width of the first element of the array.

This is not sufficient, I am generating valid solutions where the first element is as large as the expected one, but that differ from the expected solution.

Not sure that is so surprising, there certainly are others ^^

I get the following failure with the full test cases:

Should return an empty list, since we're already at the goal
expected: Nothing
 but got: Just []

Apparently my program returns an empty list, which seems to be the correct answer, but the test case expects Nothing.

Thanks! Just modified the kata.

Strange, I can't reproduce it but I had to do this to have my solution pass :

reapeatS :: a -> Stream a
reapeatS = repeatS

Typo in the tests with reapeat.