Hacker News new | ask | show | jobs
Proof That TypeScript's Type System Is Turing Complete (2017) (gist.github.com)
3 points by varal7 2300 days ago