demesisx@infosec.pub to Functional Programming@programming.devEnglish · 4 months ago"Propositions as Types" by Philip Wadleryoutu.bevideomessage-square0fedilinkarrow-up115arrow-down10
arrow-up115arrow-down1video"Propositions as Types" by Philip Wadleryoutu.bedemesisx@infosec.pub to Functional Programming@programming.devEnglish · 4 months agomessage-square0fedilink