A simplified implementation of TypeScript's type system written in TypeScript'sgithub.com/ronami1 pointfanf22 years ago