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