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

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.