G github.com TypeScript's Type System Is Turing Complete (2017) 49 points rendall 5 years ago 43 comments