pacjotoPiracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish·10 months agoI absolutely love VideoLAN's stance regarding patents(lemmy.dbzer0.com)imagearrow-up11.05Karrow-down111message-square68fedilink
arrow-up11.04Karrow-down1imageI absolutely love VideoLAN's stance regarding patents(lemmy.dbzer0.com)pacjotoPiracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish·10 months agomessage-square68fedilink
minus-squarenakalarrow-up1arrow-down0·10 months agolinkfedilinkThat’s why it’s also called Curry-Howard isomorphism.
That’s why it’s also called Curry-Howard isomorphism.