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

"Propositions as Types" by Philip Wadler