you can't use Python to code Arduino microcontrollers directly, but playing with a toy Python->C transpiler with local type inference as a part of a "learning Arduino" section of a Python course for kids.
I wonder if I could make this not suck enough to actually use...
@jb55 haha, sorry for confusion, "GHC" and "GCC" come from the problem statement. One is an assembly for programming ghost AIs and the other is a lsip virtual machine for programming Pacman AI.