A cool programming sokoban where you control a pusher robot with a very limited scripting language (GOTO; a few conditionals; a boolean variable; max 18 lines of max 15 characters each...). It really gave me an appreciation for the difficulty of early programming! The demo has a rough start---you just brute-force everything with conditionals---but the back end gets more satisfying as you see the power of automation through loop logic. Meanwhile, there's some light satire of tech startup bullshit, nicely pensive music in the background, and a comprehensive in-game manual. The only big problem's the colour palette: The colour used for code comments, goal tiles, and a few other things is almost illegible against the background. Fix that and this would be pretty much perfect at what it does.
My progress: finished the 9 levels in the demo with the following times/character counts: 5/38, 28/60, 29/112, 33/122, 30/128, 41/35, 22/70, 26/69, 132/122)