12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:40, 23 December 2008
, 19:40, 23 December 2008→The Cactus Language : Syntax: nobody here but us operators
<math>\begin{array}{llccc}
<math>\begin{array}{llccc}
1. &
1. &
\text{If} &
\operatorname{If} &
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
\rightarrow &
\rightarrow &
\operatorname{Ann}, \\
\operatorname{Ann}, \\
&
&
\text{that is}, &
\operatorname{that~is}, &
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
\operatorname{denotes} &
\operatorname{denotes} &
\operatorname{Ann}, \\
\operatorname{Ann}, \\
&
&
\text{then} &
\operatorname{then} &
\operatorname{A} &
\operatorname{A} &
= &
= &
\operatorname{Ann}, \\
\operatorname{Ann} \\
&
&
\text{and} &
\operatorname{and} &
\operatorname{Ann} &
\operatorname{Ann} &
= &
= &
\operatorname{A}. \\
\operatorname{A}. \\
&
&
\text{Thus} &
\operatorname{Thus} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
\rightarrow &
\rightarrow &
\operatorname{A}, \\
\operatorname{A}, \\
&
&
\text{that is}, &
\operatorname{that~is}, &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
\operatorname{denotes} &
\operatorname{denotes} &
<math>\begin{array}{llccc}
<math>\begin{array}{llccc}
2. &
2. &
\text{If} &
\operatorname{If} &
\operatorname{Bob} &
\operatorname{Bob} &
\leftarrow &
\leftarrow &
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
&
&
\text{that is}, &
\operatorname{that~is}, &
\operatorname{Bob} &
\operatorname{Bob} &
\operatorname{is~denoted~by} &
\operatorname{is~denoted~by} &
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
&
&
\text{then} &
\operatorname{then} &
\operatorname{Bob} &
\operatorname{Bob} &
= &
= &
\operatorname{B} \\
\operatorname{B} \\
&
&
\text{and} &
\operatorname{and} &
\operatorname{B} &
\operatorname{B} &
= &
= &
\operatorname{Bob}. \\
\operatorname{Bob}. \\
&
&
\text{Thus} &
\operatorname{Thus} &
\operatorname{B} &
\operatorname{B} &
\leftarrow &
\leftarrow &
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}, \\
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}, \\
&
&
\text{that is}, &
\operatorname{that~is}, &
\operatorname{B} &
\operatorname{B} &
\operatorname{is~denoted~by} &
\operatorname{is~denoted~by} &