Very interesting game! I included it in my ProcJam compilation:

Helping folks' expectations on what is "procedural" in this submission  --

This is a game built in "ZZT" (Tim Sweeney, of Epic fame's first game engine) for the "Dosember" celebration. The game randomizes the motherload-like tiles.

This is limited by the capabilities of the engine -- you observe each board "generate" live when you first load it.

Also, it fits the theme: the moon is a very cold place :)