A Turing complete language in TypeScript types | Heykuki News