TDungeon is a small adventure game that runs in the Typescript type system
Try it on Typescript Playground.