I may have broken number game

Stream: Berkeley Lean Seminar

[K Y]

I stupidly did `repeat {rw add_comm}', which I don't think will terminate. Will there by any ramification of this stupidity?

[Jalex Stark]

I think deleting the bad line and refreshing your browser is enough

[Kevin Buzzard]

This used to lose all of your progress!