Functional Programming demesisx • 8mo ago • 100%

"Propositions as Types" by Philip Wadler