• ###### tobeannouncdcommented on "Distinct contiguous elements in every window of size k" python solution

This comment is hidden because it contains spoiler information about the solution

• ###### tobeannouncdcreated a suggestion for "Square Every Digit" kata

I've forked the Haskell translation here to add random cases and clean a few things up.

• ###### tobeannouncdcreated an issue for "Lambda Calculus: Lists" kata

Sample tests in Haskell fail due to a faulty function signature. I've put in a translation here that fixes it.

• ###### tobeannouncdcommented on ""Lambda Calculus: Lists" Haskell Translation"
• Fixed signature of `(?)` in sample tests.
• ###### tobeannouncdcommented on "tobeannouncd's fork of tobeannouncd's Haskell solution for "Simple Fun #130: Robot Walk"" kumite

My previous solution didn't take advantage of the fact that the commands would keep the robot in the space of non-negative coordinates.

• ###### tobeannouncdcommented on ""Sum it continuously" Haskell Translation"
• Updated the signature of the solution/solution setup, as the kata description does not specify any restrictions that would restrict the solution to using `Integer`.
• Updated the signature of the reference solution to disambiguate the type needed for QuickCheck .
• ###### tobeannouncdcreated an issue for "Knapsack problem - the max value with the lists of elements" kata

Test 6 in the sample tests uses the following input
`items = [(2, 3), (6, 5), (8, 2), (4, 5), (2, 8), (5, 5), (2, 2)], w_limit=7`
`[13, [[2, 3, 8], [5, 8]]]`.

There are two different ways to pick items with values of `[5,8]` that weigh less than `7`. It is not obvious that these two ways should be combined in the output.

Sounds good to me

I agree. No need to reinvent the wheel :)

Since the invariant of these test cases is the lower bound, something like this should work, right?

``````shrinkInput :: Int -> [Int] -> [[Int]]
shrinkInput lo = shrinkMap (map (+ lo)) (map (subtract lo))
``````
After looking through the QuickCheck docs, I think that in this case, `forAllShow mkString` would be sufficient.