typo in advanced proposition world

Stream: new members

[Miles]

Hi, not sure if this is the right place, but I there's a typo in level 10 of advanced proposition world in the natural number game. Specifically, there should be a comma after repeat {cc}

[Alex J. Best]

I agree it should be added to make things clearer, but I want to point out that this is more of a quirk of the tactic goal view than anything else. repeat {cc} does close the goal, and there are no goals left after it, as you can see in the game if you add that line (without the comma) gives you the tick mark at the top for completing the level, and lean stops complaining about unsolved goals in the bottom right, its just that without the comma there is no place where you can put your cursor to see the "no goals" message. It really is still a proof though :smile:

[Miles]

Good point, thanks for pointing it out :)