2 ms·
It's more accurate to say that some types are propositions. More precisely, a type is a proposition if and only if any two inhabitants of it are equal.
by catnaroek 10y ago
It's more accurate to say that some types are propositions. More precisely, a type is a proposition if and only if any two inhabitants of it are equal.