Proof That TypeScript's Type System Is Turing Complete (2017) #1 Post by varal7 » Mon, Mar 09, 2020, 9:50 PM UTC Proof That TypeScript's Type System Is Turing Complete (2017)gist.github.com