search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
199 stars 35 forks source link

Suggestion to add Link to Open new Issue on every page #103

Open konradvoelkel opened 1 year ago

konradvoelkel commented 1 year ago

I would have submitted corrections more often and more early if there was a link on each page, preferably putting some identifier of the page I was at into the issue subject automatically (that should be possible, I hopeguess).

You could even phrase it as "Is anything unclear even with hints? Do you find any mistakes or maybe confusing parts? Open an issue here" to encourage people to flag content that is harder to understand than intended.

kbuzzard commented 1 year ago

If you are talking about NNG: The entire game is being rewritten right now; I guess I would be in charge of dealing with these issues, and right now my response to all of them would simply be "please wait until about October 16th by which time we will have released a complete rewrite of all the levels". I am well aware that there are plenty of unclear things on the version deployed on the web right now :-)

If you are talking about the German game then that's not my business :-)

joneugster commented 1 year ago

That's a good idea to add such a link. We'll probably do this when the games developed converge to a more stable version

joneugster commented 5 months ago

I accidentlally created a very closely related issue at #227:

It would be nice to have a button in each level that automatically creates a new question on Zulip:

in the new members stream a title that contains the game/world/level a spoiler block with the currently entered code.