Changes

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

222 bytes added , 16:02, 24 March 2009

Line 233: Line 233:

===Step 2===

+

Assign types in the following specification:

+

{| align="center" cellpadding="8" width="90%"

+

|

+

<math>\begin{array}{l}

+

((x \underset{A}{:} ~y \overset{B}{\underset{A}{:}}) \underset{B}{:} ~z \overset{C}{\underset{B}{:}}) \underset{C}{:}

+

\end{array}</math>

+

|}

<pre>

−

~~Assign types in the specification:~~

−

B C

((x: y:): z:):

12,080

edits