TDungeon is a small adventure game that runs in the Typescript type system - View it on GitHub