@demesisx to Functional Programming@programming.devEnglish • 4 months ago"Propositions as Types" by Philip Wadleryoutu.beexternal-linkmessage-square0arrow-up116arrow-down10
arrow-up116arrow-down1external-link"Propositions as Types" by Philip Wadleryoutu.be@demesisx to Functional Programming@programming.devEnglish • 4 months agomessage-square0