4 ms·
Confusing types with typing judgments is wrong. A type is just one of the constituent parts of a typing judgment.
by catnaroek 10y ago
Confusing types with typing judgments is wrong. A type is just one of the constituent parts of a typing judgment.