3 ms·noted. we'll make sure to critizise turing complete type systems more thoroughly next time :))by nielstron 1y agonoted. we'll make sure to critizise turing complete type systems more thoroughly next time :))