283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Arrow Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 52: | Line 52: | ||
</math> | </math> | ||
Intuitively a '''positive arrow''' denotes outward directed operations and '''negative arrow''' denotes inward directed ones. | |||
<ref> | |||
Notice that the arrow syntax is unambiguous because variables can always be distinguished from atoms and an atom without a polarity does not occur anywhere else in the syntax. | |||
</ref> | |||
Both arrows are right associative. | |||
When it is clear from context, we can call a negative arrow simply an arrow. | When it is clear from context, we can call a negative arrow simply an arrow. | ||