3 ms·
Yeah, but the phrasing seems likely to mislead. It sort of implies that a Turing-complete type system can express all truths.
by cakoose 4y ago
Yeah, but the phrasing seems likely to mislead. It sort of implies that a Turing-complete type system can express all truths.