I actually do think the intensional/extensional distinction from logic and type theory is really useful in other contexts
Quote Tweet
Replying to @TaliaRinger @ChrSzegedy and @Skiminok
If you want to borrow some logic/PL words you can call these systems "extensionally racist"
2
16
