apply fails with no error leaving a grayed-out input box

[KellyJDavis]

In Level 2 / 2 : First Real Limit of Lecture 3: More fun with Sequences of Real Analysis, The Game! (v0.1) apply fails with no error leaving grayed-out input box.

The hypothesis goal

is identical to the goal

However apply goal fails with no error leaving a grayed-out input box.

Reloading the page , shift reloading the page (Safari), and waiting until the runtime times out then reloading the page give the same result.

[joneugster]

Thanks for the report. It's useful if issues contain a direct link to the level played and the entered code of that level as copy-paste-able code block.

i'll take a look soon