MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to search
39 bytes added
, 18:30, 30 January 2013
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. |
| | | |
| ==Identity, or the Identifier== | | ==Identity, or the Identifier== |