mini-typescript