Can't tell if procedurally generated or not, but would be awesome to see this game extended with procedural generation. Your game was on the nose for the theme, and executed well. Thank you for sharing!
Oh yes, the levels are generated anew at the start of each run. @Doriansnowball had a lot of fun figuring this out on the first day :D