Functional Programming @programming.dev demesisx @infosec.pub 11 mo. ago

"Propositions as Types" by Philip Wadler