12,187
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday January 21, 2026
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 18:30, 30 January 2013
, 18:30, 30 January 2013NB. combinators are being applied on the right of their arguments
{{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.
==Identity, or the Identifier==
==Identity, or the Identifier==
