Becoming a Logician with TypeScript · HackerTrans