4 ms·
Sorry. This text is absolutely useless to me. What is it trying to say? Don't get it, although I agree that propositions are not necessarily types.
by auggierose 7y ago
Sorry. This text is absolutely useless to me. What is it trying to say? Don't get it, although I agree that propositions are not necessarily types.
- uryga 7y ago> propositions are not necessarily types could you expand on this?