Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

1 byte removed , 16:22, 27 March 2009

Line 2,389: Line 2,389:

|-

|

−

<p><math>\text{R1b.} \quad \dfrac{A \xrightarrow{~f~} B \quad B \xrightarrow{~g~} C}

+

<p><math>\text{R1b.} \quad \dfrac{A \xrightarrow{~f~} B \quad B \xrightarrow{~g~} C}{A \xrightarrow{~gf~} C}.</math></p>

−

{A \xrightarrow{~gf~} C}.</math></p>

|-

|

12,140

edits