pacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 11 months agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square60fedilinkarrow-up11.04Karrow-down111
arrow-up11.03Karrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 11 months agomessage-square60fedilink
minus-squarenakal@kbin.sociallinkfedilinkarrow-up1·11 months agoThat’s why it’s also called Curry-Howard isomorphism.
That’s why it’s also called Curry-Howard isomorphism.