C:

• the lyrics contain a non-ASCII character ('…') whose encoding is not specified. It should be mentioned that the expected encoding is UTF-8;
• the assertion message is wrong if the code size is exactly 300, as reported there

both fixed here

there is still an issue here. because the lyrics include this single non-ASCII character, the initial code in C should specify that the expected output encoding is UTF-8. i did it in this fork, pending approval.

I did, but it was resulting in a wide string... or so I thought. It turned out to be an L in front of a string being interpreted as a wide string marker.

Can't you copy/paste it from the description?

How do I put in the special ... character in C?
The compiler keeps trying to make the string literal an int array, but that doesn't match the function return type and then the zero high bytes in the wide string get interpreted as '\0's.

A solution that needs space proportional to the input numbers' values won't be able to handle the random tests.

fixed

Rejected.

Too easily cheatable, and use of Random instead of QuickCheck.

Cheatable with

factorial n = show $ product [1..n'] where
  (a,b) = decodeFloat $ fromIntegral n
  n' = a `div` 2 ^ negate b

I don't know exactly how you'd prevent that; that's your job.

Use spoiler flag next time please. Your post was visible in the homepage.

New to Haskell, how does this work?

>> 1.0 / 0.0
inf
>> 0.0 / 0.0
NaN

according to evcxr, which is a rust REPL

What happens here if total is 0?