5 ms·We already new that TS types are Turing complete so it's more of demonstration than a proof.by axkdev 2y agoWe already new that TS types are Turing complete so it's more of demonstration than a proof.