12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:12, 23 December 2008
, 19:12, 23 December 2008→The Cactus Language : Syntax: fix typing of constants
&
&
\text{then} &
\text{then} &
A &
\operatorname{A} &
= &
= &
\operatorname{Ann}, \\
\operatorname{Ann}, \\
\operatorname{Ann} &
\operatorname{Ann} &
= &
= &
A. \\
\operatorname{A}. \\
&
&
\text{Thus} &
\text{Thus} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
\rightarrow &
\rightarrow &
A, \\
\operatorname{A}, \\
&
&
\text{that is}, &
\text{that is}, &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
\operatorname{denotes} &
\operatorname{denotes} &
A. \\
\operatorname{A}. \\
\end{array}</math>
\end{array}</math>
|}
|}