3 ms·Thank you for all the replies! I didn't know type theory was a field, so I'll go look at that.by Zababa 5y agoThank you for all the replies! I didn't know type theory was a field, so I'll go look at that.