demesisx to Functional Programming@programming.devEnglish · 9 months ago"Propositions as Types" by Philip Wadleryoutu.beexternal-linkmessage-square0fedilinkarrow-up116arrow-down10
arrow-up116arrow-down1external-link"Propositions as Types" by Philip Wadleryoutu.bedemesisx to Functional Programming@programming.devEnglish · 9 months agomessage-square0fedilink