3 ms·
> types are propositions ML and Coq types, yes. Java, C types? Not so much.
by frabert 8y ago
> types are propositions
ML and Coq types, yes. Java, C types? Not so much.
- bunderbunder 8y agoCall them "illogical propositions".
loading thread…
3 ms·