3 ms·
> I wonder if there are type systems that are intentionally Turing-complete rather than accidentally. I’d consider most dependent type systems to be in this ca
by bradrn 4y ago
> I wonder if there are type systems that are intentionally Turing-complete rather than accidentally.
I’d consider most dependent type systems to be in this category.