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.
I 2nd GoDOT, but I also recommend the Learn Python books from No Starch Press, they have several books for kids & learning while making games.
I'd been looking at those books! There are some saved on my Amazon wishlist, I might pick a couple up for when he comes back from vacation.