4 ms·
Lacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?
by gnufx 3y ago
Lacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?