search

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Apache License 2.0
292 stars 73 forks source link

Save progress #73

Closed rudolfovic closed 4 years ago

rudolfovic commented 4 years ago

Having restarted my computer I lost all progress. I was hoping there would be some kind of a cookie mechanism at least. Restarting from scratch would be rather daunting.

Am I missing something or would be a good idea to add a mechanism to save progress to play over sessions?

kbuzzard commented 4 years ago

(nonsense deleted)

kbuzzard commented 4 years ago

Mohammad has implemented this and it is coming in the next release (sorry, my comments about cookies were nonsense)

vvs- commented 4 years ago

I've tried tutorial world in just released 1.3.0 and it seems that saving doesn't work properly. All my proofs were saved in browser storage except the last level, i.e. looks like it saved only those levels where the "next" button was pressed. Also, check marks for individual levels were not saved and the world was blue after reloading the game. Am I the only one with these issues?

edderiofer commented 4 years ago

I'm playing v1.3.1. Solving the first few levels then refreshing the page results in my proofs being saved in the interface, but checkmarks and world progress being wiped. I have cookies enabled and Adblock turned off.

kbuzzard commented 4 years ago

Fixed in 1.3.2!

vvs- commented 4 years ago

I've just tried RNG beta and lost all my saved progress in NNG. And vice versa :disappointed:

Probably this should be fixed before release.

kbuzzard commented 4 years ago

Oh no! This is an issue for the game maker, not for this repo:

https://github.com/mpedramfar/Lean-game-maker/issues