Looks like a fun thing you're making. I've done a little game design and here's a couple of thoughts. I made this game about the four colour theorem on steam (if anyone would like to play feel free to email for a steam key).
One of the things I thought went best is that it doesn't have a tutorial, it's just a super slow ramp of complexity, each new idea is introduced with a couple of chances to play around with it before the next one. I'd really recommend an approach like that, especially if it's for kids, the hardest thing is walls of text, generally people learn easier by playing than reading. https://store.steampowered.com/app/816770/The_Four_Colour_Theorem/ And then yeah another suggestion might be some sort of power connectors game? Like when you're doing a proof in MMJ2 you're trying to make sure every statement is connected to the rest. So you're hypotheses are sort of like your power sources and the theorem is like the lightbulb or something and what you're trying to do is make a complete chain in-between with no loose ends. I really like the sound of what you're saying with factories etc, maybe little roads / power cables / conveyor belts / water pipes might communicate that idea of connections pretty well. On Wednesday, July 27, 2022 at 3:15:38 PM UTC+1 [email protected] wrote: > On Sun, 26 Jun 2022 at 00:06, Jim Kingdon <[email protected]> wrote: > > > > Looks cool based on the screenshot and video. > > > > Given how popular colorful syntax highlighting has been for code, seems > like there could well be an appeal to do something sort of similar in terms > of the display here. > > > > Thanks for the feedback. > > My goal is to make the game as simple, and fun as possible. > > Any ideas about how to make it fun for kids? > > How best to explain/introduce the rules? > ( Maybe say it's a factory that uses machines to make/convert raw > input into the result? modus ponens = detacher machine. etc.? > I'm thinking how 'manufactoria' games do it. > http://pleasingfungus.com/Manufactoria2022/ ) > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/c3fc0fda-0b18-4d72-8949-5f8a9b5e146fn%40googlegroups.com.
