G gist.github.com Proof That TypeScript's Type System Is Turing Complete (2017) 3 points varal7 6 years ago 0 comments