5 ms·
You can write any program with a Turing machine. That's a silly definition of a type system. I've never heard this usage anywhere else.
by kenbot 13y ago
You can write any program with a Turing machine. That's a silly definition of a type system. I've never heard this usage anywhere else.