12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 03, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 16:02, 24 March 2009
, 16:02, 24 March 2009→Step 2: markup
===Step 2===
===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>
<pre>
B C
B C
((x: y:): z:):
((x: y:): z:):
