MyWikiBiz, Author Your Legacy — Monday May 06, 2024
Jump to navigationJump to search
165 bytes added
, 18:18, 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. |
| | | |
| ==Identity, or the Identifier== | | ==Identity, or the Identifier== |