Thanks, it worked

    FoldingThroughAFixedPointSpec.hs:1:53:
    Not in scope: `main'
    Perhaps you meant `min' (imported from Prelude)

Anyone else seeing this when submitting?

Any hint what to do when timing out?

Note that I have passed all other tests, another user seems to have the same problem as I had.

This has been checked. My program only accepts integers or integer-formatted strings.

Ruby testcase: n = 0 gives me error all the time, can any time have a look?

There is a typo in description.

fullfill -> fulfill

"Process was terminated. It took longer than 15000ms to complete"
I keep getting this error message...

Any idea why it takes >= 15s to run? Am I writing the proof incorrectly?