Proof That TypeScript's Type System Is Turing Complete (2017)gist.github.com3 pointsvaral76 years ago