Hacker News new | ask | show | jobs
by axkdev 472 days ago
We already new that TS types are Turing complete so it's more of demonstration than a proof.