[nanolith]

I spent some time this evening beating the dungeon. It took a bit of time to get my head around the syntax, but once I found the tutorial, it clicked.

The game reminds me quite a bit of The Little Prover and The Little Typer.