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/CANS9R91b5dg6yOMp2h-C-P93EJ1dt%2BxTybuxYyCi2X6r1nCSdA%40mail.gmail.com.
