NB. combinators are being applied on the right of their arguments
Line 1:
Line 1:
{{DISPLAYTITLE:Propositions As Types}}
{{DISPLAYTITLE:Propositions As Types}}
−
'''NB.''' Notice that I am carrying out combinator applications “on the right”, so the formulas might read backwards from what many people are used to.
+
'''NB.''' In this discussion, combinators are being applied on the right of their arguments. The resulting formulas will look backwards to people who are accustomed to applying combinators on the left.