20
Best way to start coding indie games?
(beehaw.org)
All things programming and coding related. Subcommunity of Technology.
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
Have a look at the pygame library for python. It's a great first step for this kind of thing. It has everything he needs to grasp the concepts and start to build some cool stuff. Then move to Godot.
Cool! I've sent him the link to this, much appreciated!