When I was in school I enjoyed the “games” bundled with the “Language, Proof, and Logic” textbook (like Tarski’s World). But these are definitely more in the ed

When I was in school I enjoyed the “games” bundled with the “Language, Proof, and Logic” textbook (like Tarski’s World). But these are definitely more in the edutainment category than the entertainment category. More on the entertainment side of things, for learning programming through a game I might choose TIS-100 (or Human Resource Machine).