• ###### csaltachincreated an issue for "A+A=B+B so A=B? Prove it in Haskell!" kata

Haskell noob here -- I wrote up something that seems to typecheck and pass the sample tests, but it times out on submission with logs "Generating tests...". Is this necessarily an issue with my solution module? Otherwise, how should I interpret this -- should I be looking for a simpler proof?

• ###### deverwcommented on "Naive subarray" kata

Great kata. Sounds simple, turns out to be very challenging.

• ###### Chrono79commented on "Very Naive Subarray" kata

Couldn't you copy and paste it here? Having to go to a different kata to see information you need in this one shouldn't be needed. Even more when this is the easier one, and the normal order for doing this should be easier first, harder later, not the other way around.

• ###### deverwcommented on "Very Naive Subarray" kata

Thanks.
CONTIGUOUS. There is only one 2 next to 3.

• ###### deverwcreated a question for "Very Naive Subarray" kata

Sorry, I don't understand the example {2,2,2,3}.
If subarray {2} is counted three times, why is {2,3} only counted once?

(unfortunately, the answer to nekoman's question is hidden)

• ###### Invariancecreated an issue for "Expression Transpiler" kata
``````"don't need to know neither"
``````

"neither" => "either"

The description should clarify its comment on leading zeroes; should they be preserved in the transformation?

• ###### Futarimiticommented on "I love Lisp" kata

`(if a b c)` should be `if a then b else c`. If `c` is not given (`(if a b)`) and `a` is `false`, return `Nul`.

Well guess who has never realised this setting and went debugging for 1 hour straight

• ###### regr4commented on "Unordered pair #2: just a commutative semigroup" kata

Commutative unital magma?

• ###### damon314159commented on "Faberge easter eggs crush test [linear]" kata

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

• ###### amasotticommented on "Throw without throwing" kata

This was until now one of the best katas I've seen. Learned a lot and had even more fun!

• ###### Invariancecreated an issue for "I love Lisp" kata

Typo in description: "`reserse`" should be "`reverse`".

• ###### s1rat-devcommented on "Tricky Kotlin #7: Do multiple replacement" kata

Should the rest of the function skeleton be less than 95 characters or all?

• ###### BhatMan21commented on "Faberge easter eggs crush test [linear]" kata

The python framework of this very difficult no cap

• ###### Renegattocreated an issue for "String formatting, type-safely" kata

It seems broken on Agda.
If it's not, wider sample tests needed, because error messages are unhelpful and doesn't give any idea on which samples it's failing.