We explore the concepts, features, and limitations of TypeRunner, use it to type check a simple project, and compare it to Deno and tsc.